fixes #1105 (mv from cantor.v to topology.v)#1192

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:fixes_1105affeldt-aist/analysis:fixes_1105Copy head branch name to clipboard