Theorem LinearMap.iSup_range_single_eq_iInf_ker_proj

Modification history