Theorem CategoryTheory.unit_mateEquiv

Modification history