Theorem DFinsupp.support_mk_subset

Modification history