Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. resultant_swap and resultant_smult
  2. tuned depends-on
Changeset 6184:138306721319 by rene thiemann _rene.thiemann@uibk.ac.at_:
resultant_swap and resultant_smult
The file was modified thys/Algebraic_Numbers/Resultant.thy (diff)
Changeset 6183:e4d28fe4c1cf by nipkow:
tuned depends-on
The file was modified web/entries/Algebraic_Numbers.shtml (diff)
The file was modified web/entries/Jordan_Normal_Form.shtml (diff)