Theorem CategoryTheory.Equivalence.Mon_Class.Mon_tensor_mul_one

Modification history