Theorem Finsupp.NonTorsionWeight.ne_zero

Modification history