Skip to content
Success

Changes

Summary

  1. slightly tuned roots_of_2_main
  2. docu, moved lemma
Changeset 7832:dbd2a23c784c by rene thiemann _rene.thiemann@uibk.ac.at_:
slightly tuned roots_of_2_main
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Roots.thy (diff)
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Roots.thy (diff)