Documentation
LeanPool
.
CommonNeighbourConjecture
.
Imports
Search
return to top
source
Imports
Init
LeanPool.CommonNeighbourConjecture
LeanPool.CommonNeighbourConjecture.Examples.MainTheorems
LeanPool.CommonNeighbourConjecture.Saxl.Affine
LeanPool.CommonNeighbourConjecture.Saxl.Basic
LeanPool.CommonNeighbourConjecture.Saxl.Generalized
LeanPool.CommonNeighbourConjecture.Examples.EveryBase.AbstractSeed
LeanPool.CommonNeighbourConjecture.Examples.EveryBase.DeletedModule
LeanPool.CommonNeighbourConjecture.Examples.EveryBase.FrobeniusGroup
LeanPool.CommonNeighbourConjecture.Examples.EveryBase.GeneralConstruction
LeanPool.CommonNeighbourConjecture.Examples.EveryBase.Irreducible
LeanPool.CommonNeighbourConjecture.Examples.EveryBase.Main
LeanPool.CommonNeighbourConjecture.Examples.MainTheorems.Definitions
LeanPool.CommonNeighbourConjecture.Examples.MainTheorems.Internal
LeanPool.CommonNeighbourConjecture.Examples.MainTheorems.ProofAliases
LeanPool.CommonNeighbourConjecture.Saxl.PermWreath.Action
LeanPool.CommonNeighbourConjecture.Saxl.PermWreath.Defs
LeanPool.CommonNeighbourConjecture.Saxl.PermWreath.Irreducible
LeanPool.CommonNeighbourConjecture.Saxl.PermWreath.Symmetric
Imported by