Session Cayley_Hamilton
View
theory dependencies
View
document
View
outline
Theories
Square_Matrix
HOL-Library.More_List
HOL-Computational_Algebra.Polynomial
Cayley_Hamilton