Theorem MonoidAlgebra.single_algebraMap_eq_algebraMap_mul_of

Modification history