Theorem IsSMulRegular.finsupp

Modification history