Theorem CategoryTheory.Equivalence.Mon_.associator_inv_hom

Modification history