Theorem CategoryTheory.Equivalence.Mon_.Mon_tensor_mul_assoc

Modification history