Theorem MonoidAlgebra.single_eq_algebraMap_mul_of

Modification history