Session Farkas
View
theory dependencies
View
document
View
outline
Theories
Farkas
HOL-Computational_Algebra.Factorial_Ring
Polynomial_Interpolation.Ring_Hom
HOL-Combinatorics.Transposition
HOL-Combinatorics.Permutations
Jordan_Normal_Form.Missing_Misc
HOL-Algebra.Congruence
HOL-Algebra.Order
HOL-Algebra.Lattice
HOL-Algebra.Complete_Lattice
HOL-Algebra.Group
HOL-Algebra.FiniteProduct
HOL-Algebra.Ring
File ‹ringsimp.ML›
Jordan_Normal_Form.Missing_Ring
Jordan_Normal_Form.Conjugate
HOL-Algebra.Module
Jordan_Normal_Form.Matrix
Matrix_Farkas
Simplex_for_Reals