Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. renamed int_poly_gcd to gcd_int_poly, proved "greatest" in GCD
Changeset 6215:5b3ac2ff8ea5 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 6214:2345647f6b79 by rene thiemann _rene.thiemann@uibk.ac.at_:
renamed int_poly_gcd to gcd_int_poly, proved "greatest" in GCD
The file was modified thys/Algebraic_Numbers/Resultant.thy (diff)
The file was modified thys/Polynomial_Factorization/Polynomial_Division.thy (diff)