Theorem NumberField.RingOfIntegers.isIntegral_coe

Modification history