Theorem CategoryTheory.Equivalence.Mon_.Mon_tensor_mul_one

Modification history