Theorem DFinsupp.mapRange.linearEquiv_refl

Modification history