Theorem LinearMap.domRestrict₁₂_apply

Modification history