Theorem SkewMonoidAlgebra.single_one_one

Modification history