Library Corelib.Compat.Rocq91


Compatibility file for making Rocq act similar to Coq v9.1

Require Export Corelib.Compat.Rocq92.

#[export] Set Warnings "-deprecated-since-9.2".