Theorem CategoryTheory.initial_mono

Modification history