Theorem MonoidAlgebra.single_mul_apply_of_not_exists_mul

Modification history