Theorem DFinsupp.lt_def

Modification history