Missing canonical declaration in topology.v?

[amahboubi]

See this line, for topological zmodtype.

[affeldt-aist]

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

[affeldt-aist]

NB: the question has been raised during this meeting.