basic) : the ring of integers of a number field is not a field (#11956)

Commit

3 years ago

feat(number_theory/number_field/basic) : the ring of integers of a number field is not a field (#11956)

Author

mariainesdff

Parents