search

math-comp / finmap

Finite sets, finite maps, multisets and generic sets
46 stars 28 forks source link

Deprecated lemmas #96

Closed affeldt-aist closed 2 years ago

affeldt-aist commented 2 years ago

Take care of deprecated usage of MathComp 1.12.0 lemmas