Theorem CategoryTheory.Equivalence.Mon_.tensorUnit_one

Modification history