Theorem CategoryTheory.Equivalence.Mon_.tensorUnit_mul

Modification history