Theorem CategoryTheory.Equivalence.Mon_.tensorUnit_X

Modification history