mathlib
7bc86e2d
- Doc comment
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Doc comment
References
#16615 - feat(algebraic_topology/fundamental_groupoid): Add topological retraction and relate to category_theory retraction
Author
mlavrent
Parents
ca316868
Loading
