Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. improved and named code-equations for matrices (via IArrays)
Changeset 7333:e75e48e264db by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 7332:1f727c7b4755 by rene thiemann _rene.thiemann@uibk.ac.at_:
improved and named code-equations for matrices (via IArrays)
The file was modified thys/Jordan_Normal_Form/Matrix_IArray_Impl.thy (diff)