Theorem DFinsupp.support_inf

Modification history