search

math-comp / finmap

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

minor fixes #74

Closed affeldt-aist closed 4 years ago

affeldt-aist commented 4 years ago