Theorem DFinsupp.prod_mapRange_index

Modification history