finmap icon indicating copy to clipboard operation
finmap copied to clipboard
verified publisher icon math-comp

Update description

Open affeldt-aist opened this issue 5 years ago • 1 comments

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.

affeldt-aist avatar Apr 29 '20 13:04 affeldt-aist

:+1:

CohenCyril avatar Apr 29 '20 13:04 CohenCyril