Theorem CategoryTheory.Equivalence.Mon_.tensor_mul

Modification history