Session Symmetric_Polynomials
View
theory dependencies
View
document
View
outline
Theories
Vieta
Polynomials.MPoly_Type
Polynomials.More_MPoly_Type
HOL-Combinatorics.Transposition
HOL-Combinatorics.Permutations
Symmetric_Polynomials
Regular-Sets.Regular_Set
Regular-Sets.Regular_Exp
Regular-Sets.NDerivative
Regular-Sets.Equivalence_Checking
Regular-Sets.Relation_Interpretation
Regular-Sets.Regexp_Method
Abstract-Rewriting.Seq
Well_Quasi_Orders.Least_Enum
Well_Quasi_Orders.Infinite_Sequences
Open_Induction.Restricted_Predicates
Well_Quasi_Orders.Almost_Full
Well_Quasi_Orders.Minimal_Elements
Well_Quasi_Orders.Minimal_Bad_Sequences
Well_Quasi_Orders.Almost_Full_Relations
Polynomials.Utils
Well_Quasi_Orders.Well_Quasi_Orders
Polynomials.Power_Products
Polynomials.More_Modules
Polynomials.MPoly_Type_Class
Polynomials.MPoly_Type_Class_Ordered
Polynomials.Poly_Mapping_Finite_Map
Polynomials.MPoly_Type_Class_FMap
Symmetric_Polynomials_Code