Theorem CategoryTheory.Equivalence.Mon_.associator_hom_hom

Modification history