Theorem SkewMonoidAlgebra.induction_on'

Modification history