Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-12 17:46 0f591415

View on Github →

docs(data/fintype/sort): add module docstring (#8643) And correct typo in the docstrings

Estimated changes

modified def mono_equiv_of_fin