Theorem CategoryTheory.Under.mono_of_mono_right

Modification history