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

Missing canonical declaration in topology.v?

Open amahboubi opened this issue 6 years ago • 2 comments

See this line, for topological zmodtype.

amahboubi avatar Oct 04 '19 21:10 amahboubi

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

affeldt-aist avatar Oct 08 '21 01:10 affeldt-aist

NB: the question has been raised during this meeting.

affeldt-aist avatar Jan 23 '22 02:01 affeldt-aist