merged
Showing
- thys/Algebraic_Numbers/Algebraic_Numbers.thy 5 additions, 9 deletionsthys/Algebraic_Numbers/Algebraic_Numbers.thy
- thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy 2 additions, 2 deletionsthys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy
- thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy 1 addition, 1 deletionthys/Algebraic_Numbers/Real_Algebraic_Numbers.thy
- thys/Algebraic_Numbers/Real_Roots.thy 3 additions, 1 deletionthys/Algebraic_Numbers/Real_Roots.thy
- thys/Algebraic_Numbers/Show_Real_Precise.thy 2 additions, 1 deletionthys/Algebraic_Numbers/Show_Real_Precise.thy
- thys/Algebraic_Numbers/Sturm_Rat.thy 1 addition, 1 deletionthys/Algebraic_Numbers/Sturm_Rat.thy
- thys/Formal_Puiseux_Series/Puiseux_Polynomial_Library.thy 4 additions, 1 deletionthys/Formal_Puiseux_Series/Puiseux_Polynomial_Library.thy
- thys/Polynomial_Factorization/Explicit_Roots.thy 9 additions, 5 deletionsthys/Polynomial_Factorization/Explicit_Roots.thy
Loading
Please register or sign in to comment