basic): add integral_basis (#18474)

Commit

2 years ago

feat(number_theory/number_field/basic): add integral_basis (#18474) Co-authored-by: Riccardo Brasca

Author

xroblot

Parents