Theorem LinearMap.IsProj.codRestrict_apply_cod

Modification history