Theorem ValuationRing.isInteger_or_isInteger

Modification history