Commit 2021-02-16 12:05 beee5d86
View on Github →doc(topology/category/*): 5 module docs (#6240)
This PR provides module docs to Top.basic, Top.limits, Top.adjuntions, Top.epi_mono , TopCommRing.
Furthermore, a few lines are split to please the line length linter.