Theorem CategoryTheory.Equivalence.Mon_.Mon_tensor_one_mul

Modification history