mathlib
37837dc8
- Fix comment
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
Fix comment
References
#16681 - feat(analysis/locally_convex/barrel): barreled spaces
#17275 - feat(analysis/locally_convex/with_seminorms): equicontinuity criterions
Author
ADedecker
Parents
5da63a98
Loading
