Theorem CategoryTheory.unit_mateEquiv_symm

Modification history