search

math-comp / finmap

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

Add `Reserved Notation`s in finmap.v #63

Closed pi8027 closed 4 years ago

pi8027 commented 4 years ago

This PR adds Reserved Notation declarations in finmap.v to fix compilation.

Ping @CohenCyril.

CohenCyril commented 4 years ago

@pi8027 Thank you so much!