Theorem LinearMap.localized'_ker_eq_ker_localizedMap

Modification history