Theorem LinearMap.IsProj.codRestrict_apply

Modification history