mathlib3
feat(algebraic_topology/fundamental_groupoid): Add topological retraction and relate to category_theory retraction
#16615
Open
Open