Theorem DFinsupp.eq_mk_support

Modification history