Theorem Finsupp.support_subset_singleton

Modification history