mathlib
dda469d0
- chore(analysis/normed_space/exponential + logic/function/iterate): fix typos in doc-strings (#10968)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
chore(analysis/normed_space/exponential + logic/function/iterate): fix typos in doc-strings (#10968) One `m` was missing in 3 different places.
Author
adomani
Parents
7ca68f8e
Loading