Theorem LinearMap.iSup_range_single_le_iInf_ker_proj

Modification history