Theorem number_field.ring_of_integers.not_is_field
Modification history
2023-03-03 22:25
src/number_theory/number_field/basic.lean
feat(number_theory/number_field/basic): add integral_basis (#18474)
Modified number_field.ring_of_integers.not_is_fieldView on Github →