Theorem DFinsupp.support_tsub

Modification history