mathlib
05565f4d
- doc(analysis/convex/uniform_convex_space): End of sentence (#14986)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
doc(analysis/convex/uniform_convex_space): End of sentence (#14986) I kept the suspense for a month.
References
lean-3.43.0
Author
YaelDillies
Parents
5de7c346
Loading