Theorem SkewMonoidAlgebra.toFinsupp_zero

Modification history