Library Corelib.Compat.Coq819


Compatibility file for making Rocq act similar to Coq v8.19

Require Export Corelib.Compat.Coq820.

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