mathlib
192f43c6 - docs(src/order/locally_finite.lean): fix a copy-paste typo (#17196)

Commit

3 years ago

docs(src/order/locally_finite.lean): fix a copy-paste typo (#17196)

Author

adomani

adomani

Parents

Loading