Theorem CategoryTheory.Equivalence.Mon_.rightUnitor_hom_hom

Modification history