Theorem DFinsupp.coe_tsub

Modification history