Theorem LinearMap.isCompl_of_proj

Modification history