Theorem Finsupp.nonzero_iff_exists

Modification history