mathlib
9db7777a
- Linting fixes
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Linting fixes
References
#16615 - feat(algebraic_topology/fundamental_groupoid): Add topological retraction and relate to category_theory retraction
Author
mlavrent
Parents
3b49f096
Loading
