Theorem IsLocalization.AtPrime.mk'_mem_maximal_iff

Modification history