Theorem NumberField.RingOfIntegers.not_isField

Modification history