Theorem SkewMonoidAlgebra.coeff_inj

Modification history