Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. slight change of definition of jordan_nf, enables lemma jordan_nf_unique
Changeset 8534:409fb444b2bb by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 8533:12d4b4a3a640 by rene thiemann _rene.thiemann@uibk.ac.at_:
slight change of definition of jordan_nf, enables lemma jordan_nf_unique
The file was modified thys/Jordan_Normal_Form/Jordan_Normal_Form.thy (diff)
The file was modified thys/Jordan_Normal_Form/Jordan_Normal_Form_Existence.thy (diff)
The file was modified thys/Jordan_Normal_Form/Jordan_Normal_Form_Uniqueness.thy (diff)
The file was modified thys/Perron_Frobenius/Spectral_Radius_Theory_2.thy (diff)