mathlib
c9ba943d - fix(*): fix typos I made yesterday (#15627)

Commit

3 years ago

fix(*): fix typos I made yesterday (#15627) Fix 4 typos I made yesterday.

Author

urkud

urkud

Parents

Loading