Topological_degree_theory loading ...