Theorem CategoryTheory.MonoOver.initialTo_b_eq_zero

Modification history