Theorem CategoryTheory.isSplitMono_of_mono

Modification history