Theorem CategoryTheory.CommSq.eq_of_mono

Modification history