Theorem CategoryTheory.Equivalence.Mon_.leftUnitor_hom_hom

Modification history