Theorem LinearMap.proj_comp_single_ne

Modification history