Theorem LinearMap.eq_of_localization_maximal

Modification history