Theorem DFinsupp.support_filter

Modification history