mathlib
61cb23a2 - Remove `number_field` assumption from `ring_of_integers`

Commit

4 years ago

Remove `number_field` assumption from `ring_of_integers`

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading