tweaks for conformance with the new lemmas
Showing
- thys/Cayley_Hamilton/Cayley_Hamilton.thy 2 additions, 2 deletionsthys/Cayley_Hamilton/Cayley_Hamilton.thy
- thys/Count_Complex_Roots/Count_Circle.thy 3 additions, 4 deletionsthys/Count_Complex_Roots/Count_Circle.thy
- thys/Count_Complex_Roots/Count_Half_Plane.thy 3 additions, 4 deletionsthys/Count_Complex_Roots/Count_Half_Plane.thy
- thys/Count_Complex_Roots/Extended_Sturm.thy 4 additions, 7 deletionsthys/Count_Complex_Roots/Extended_Sturm.thy
- thys/Polynomial_Factorization/Rational_Factorization.thy 2 additions, 1 deletionthys/Polynomial_Factorization/Rational_Factorization.thy
- thys/Polynomial_Factorization/Rational_Root_Test.thy 2 additions, 1 deletionthys/Polynomial_Factorization/Rational_Root_Test.thy
- thys/Polynomial_Interpolation/Missing_Polynomial.thy 3 additions, 0 deletionsthys/Polynomial_Interpolation/Missing_Polynomial.thy
Loading
Please register or sign in to comment