Theorem CategoryTheory.Equivalence.Mon_.tensorObj_one

Modification history