Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. some lemmas on polynomials
Changeset 7018:243f87533daf by rene thiemann _rene.thiemann@uibk.ac.at_:
some lemmas on polynomials
The file was modified thys/Polynomial_Factorization/Polynomial_Divisibility.thy (diff)
The file was modified thys/Polynomial_Factorization/Square_Free_Factorization.thy (diff)
The file was modified thys/Polynomial_Interpolation/Missing_Polynomial.thy (diff)