Def LinearMap.domRestrict₂

Modification history