Theorem CategoryTheory.CommSq.eq_of_epi

Modification history