Theorem LocalSubring.map_maximalIdeal_eq_top_of_isMax

Modification history