mathlib3
docs(topology): some more module docstrings
#1544
Merged

docs(topology): some more module docstrings #1544

mergify merged 2 commits into master from topdocs
rwbarton
rwbarton docs(topology): some more module docstrings
e8d8db82
PatrickMassot
PatrickMassot approved these changes on 2019-10-13
PatrickMassot PatrickMassot added ready-to-merge
mergify[bot] Merge branch 'master' into topdocs
49bf8ba0
PatrickMassot
mergify mergify merged d716648f into master 6 years ago
mergify mergify deleted the topdocs branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone