Theorem CategoryTheory.Equivalence.Mon_.tensor_one

Modification history