mathlib
914d2b13 - chore(topology/category/Profinite): Fix docstring (#5265)

Commit

5 years ago

chore(topology/category/Profinite): Fix docstring (#5265)

Author

adamtopaz

adamtopaz

Parents

Loading