Theorem SkewMonoidAlgebra.induction_on

Modification history