Theorem DFinsupp.filter_apply

Modification history