Theorem LocalSubring.exists_valuationRing_of_isMax

Modification history