Theorem CategoryTheory.Square.IsPushout.epi_f₃₄

Modification history