Theorem SkewMonoidAlgebra.coeff_one

Modification history