Theorem LinearMap.ker_localizedMap_eq_localized'_ker

Modification history