mathlib
06e14052 - docs(category/default): Fix typo for monomorphism (#3741)

Commit

5 years ago

docs(category/default): Fix typo for monomorphism (#3741)

Author

utensil

utensil

Parents

Loading