Theorem SkewMonoidAlgebra.single_nat

Modification history