search

math-comp / analysis

Mathematical Components compliant Analysis Library
Other
206 stars 47 forks source link

Missing canonical declaration in topology.v? #154

Open amahboubi opened 5 years ago

amahboubi commented 5 years ago

See this line, for topological zmodtype.

affeldt-aist commented 3 years ago

I am wondering whether this issue has not been addressed since. Do you have an idea? @mkerjean @CohenCyril

affeldt-aist commented 2 years ago

NB: the question has been raised during this meeting.