Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. added lemmas on polynomials
Changeset 6720:9cb6357d378f by rene thiemann _rene.thiemann@uibk.ac.at_:
added 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)
The file was modified thys/Polynomial_Interpolation/Missing_Unsorted.thy (diff)