Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved lemma
  2. improved code-equation of Gauss-Jordan elimination
Changeset 7171:55457029be87 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemma
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
Changeset 7170:2571dfd0aeb0 by rene thiemann _rene.thiemann@uibk.ac.at_:
improved code-equation of Gauss-Jordan elimination
The file was modified thys/Jordan_Normal_Form/Gauss_Jordan_IArray_Impl.thy (diff)