Theorem LinearMap.iSup_range_stdBasis_le_iInf_ker_proj

Modification history