Library Coq.Compat.Coq814


Compatibility file for making Coq act similar to Coq v8.14

Require Export Coq.Compat.Coq815.


Export Set Apply With Renaming.