Theorem DFinsupp.filter_def

Modification history