Theorem LinearMap.ker_localizedMap_eq_localized₀_ker

Modification history