search

math-comp / finmap

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

Update description #68

Open affeldt-aist opened 4 years ago

affeldt-aist commented 4 years ago

The github "Description" for finmap says "Finite sets, finite maps, multisets and order". It should maybe be "Finite sets, finite maps, and multisets" now that order is in MathComp.

CohenCyril commented 4 years ago

:+1: