Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. real_roots for algebraic numbers does not require certified rational root test any longer
Changeset 6719:4eff14238025 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 6718:9ecf9e1b21d8 by rene thiemann _rene.thiemann@uibk.ac.at_:
real_roots for algebraic numbers does not require certified rational root test any longer
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Roots.thy (diff)