Theorem LinearMap.proj_comp_single_same

Modification history