Theorem Finsupp.some_zero

Modification history