Theorem DFinsupp.mapRange.linearEquiv_trans

Modification history