mathlib
97c444e0 - lint(topology/algebra): docstrings (#4446)

Commit

5 years ago

lint(topology/algebra): docstrings (#4446) Co-authored-by: hrmacbeth <25316162+hrmacbeth@users.noreply.github.com>

References

Author

PatrickMassot

Parents