Theorem Finsupp.support_floorDiv_subset

Modification history