Theorem SkewMonoidAlgebra.toFinsupp_inj

Modification history