Changes

Summary

Changeset 7169:770c1a96b319 by rene thiemann _rene.thiemann@uibk.ac.at_: added various lemmas
The file was modified	`thys/Jordan_Normal_Form/Gauss_Jordan_IArray_Impl.thy` (diff)
The file was modified	`thys/Polynomial_Factorization/Gauss_Lemma.thy` (diff)
The file was modified	`thys/Polynomial_Factorization/Missing_List.thy` (diff)
The file was modified	`thys/Polynomial_Interpolation/Missing_Polynomial.thy` (diff)
The file was modified	`thys/Polynomial_Interpolation/Ring_Hom_Poly.thy` (diff)