Changes

Summary

Changeset 7893:a0b73cebba51 by rene thiemann _rene.thiemann@uibk.ac.at_: use poly_div instead of poly_mult for complex_roots_of_int_poly
The file was modified	`thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy` (diff)