Theorem CategoryTheory.Equivalence.Mon_Class.Mon_tensor_one_mul

Modification history