Theorem Finsupp.mapRange.linearMap_id

Modification history