Theorem NumberField.isIntegral_of_mem_ringOfIntegers

Modification history