Theorem Dfinsupp.support_mk'_subset

Modification history