Theorem IsLocalization.AtPrime.to_map_mem_maximal_iff

Modification history