Structure CategoryTheory.SplitMono

Modification history