Theorem LinearMap.range_localizedMap_eq_localized₀_range

Modification history