Library Corelib.Compat.Rocq92


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


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

#[export] Set Inline Abstract Subproof.