Theorem DFinsupp.mapRange.linearEquiv_symm

Modification history