Theorem ValuationRing.iff_isInteger_or_isInteger

Modification history