Theorem IsLocalRing.exists_factor_valuationRing

Modification history