search

math-comp / finmap

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

compatibility with mathcomp-dev and lost with mathcomp < 1.9.0 #64

Closed CohenCyril closed 4 years ago

CohenCyril commented 4 years ago

Solving compatibility issue raised in math-comp/math-comp#468