mathlib
ee2c963e - doc(overview): pluralization convention (#5583)

Commit

4 years ago

doc(overview): pluralization convention (#5583) Normalized pluralizations, according to the convention @PatrickMassot described

Author

kmill

Parents