Documentation
LeanPool
.
QuadraticIterates
.
Imports
Search
return to top
source
Imports
Init
LeanPool.QuadraticIterates
LeanPool.QuadraticIterates.ArchMath1992
LeanPool.QuadraticIterates.ArchMath1992.DegreeCriterion
LeanPool.QuadraticIterates.ArchMath1992.Irreducibility
LeanPool.QuadraticIterates.ArchMath1992.Iterates
LeanPool.QuadraticIterates.ArchMath1992.Main
LeanPool.QuadraticIterates.ArchMath1992.Sequences
LeanPool.QuadraticIterates.Mathlib.Algebra.BigOperators
LeanPool.QuadraticIterates.Mathlib.Algebra.Squares
LeanPool.QuadraticIterates.Mathlib.Data.Multiset
LeanPool.QuadraticIterates.Mathlib.Data.Nat
LeanPool.QuadraticIterates.Mathlib.Data.ZMod
LeanPool.QuadraticIterates.Mathlib.FieldTheory.Multiquadratic
LeanPool.QuadraticIterates.Mathlib.GroupTheory.Card
LeanPool.QuadraticIterates.Mathlib.GroupTheory.PGroup
LeanPool.QuadraticIterates.Mathlib.GroupTheory.RegularWreathProduct
LeanPool.QuadraticIterates.Mathlib.NumberTheory.Moebius
LeanPool.QuadraticIterates.Mathlib.RingTheory.MoebiusFactor
LeanPool.QuadraticIterates.Mathlib.RingTheory.UniqueFactorizationDomain
LeanPool.QuadraticIterates.Mathlib.Algebra.Polynomial.Eval
LeanPool.QuadraticIterates.Mathlib.Algebra.Polynomial.EvenComp
LeanPool.QuadraticIterates.Mathlib.Algebra.Polynomial.Roots
LeanPool.QuadraticIterates.Mathlib.Data.Int.DvdSequence
Imported by