mathlib3
5c4c1c08 - feat(topology/homotopy): Fundamental groupoid preserves products (#11459)

Commit

3 years ago

feat(topology/homotopy): Fundamental groupoid preserves products (#11459)

Author

prakol16

prakol16

Parents

Loading