mathlib3
1a0ed809
- fix(naming): typo [ci skip] (#1401)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
fix(naming): typo [ci skip] (#1401) * fix(naming): typo [ci skip] * more typos
References
#1401 - fix(naming): typo [ci skip]
Author
fpvandoorn
Committer
mergify[bot]
Parents
b1920f59
Loading