Theorem CategoryTheory.mateEquiv_square

Modification history