Skip to content
Success

Changes

Summary

  1. index_times_mat -> index_mult_mat, more lemmas on binary minus for vectors and matrices
Changeset 8241:cec1317ea1af by rene thiemann _rene.thiemann@uibk.ac.at_:
index_times_mat -> index_mult_mat, more lemmas on binary minus for vectors and matrices
The file was modified thys/Jordan_Normal_Form/Matrix.thy (diff)
The file was modified thys/Jordan_Normal_Form/Matrix_Comparison.thy (diff)
The file was modified thys/Jordan_Normal_Form/Schur_Decomposition.thy (diff)
The file was modified thys/Subresultants/Subresultant.thy (diff)