Theorem CategoryTheory.Equivalence.Mon_Class.Mon_tensor_mul_assoc

Modification history