Theorem MonoidAlgebra.mul_single_apply_aux

Modification history