make discrete_topology a ptopologicalType#1975

CohenCyril merged 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:discrete_topology_20260517affeldt-aist/analysis:discrete_topology_20260517Copy head branch name to clipboard