Theorem SkewMonoidAlgebra.toFinsupp_injective

Modification history