Theorem Finsupp.supported_empty

Modification history