Theorem SkewMonoidAlgebra.toFinsupp_eq_zero

Modification history