Documentation
LeanPool
.
NashWilliams
.
Imports
Search
return to top
source
Imports
Init
LeanPool.NashWilliams
LeanPool.NashWilliams.Combinatorics
LeanPool.NashWilliams.Data
LeanPool.NashWilliams.Order
LeanPool.NashWilliams.Combinatorics.Front
LeanPool.NashWilliams.Combinatorics.Ramsey
LeanPool.NashWilliams.Data.Fintype
LeanPool.NashWilliams.Data.Nat
LeanPool.NashWilliams.Order.TwoBQO
LeanPool.NashWilliams.Order.WellQuasiOrder
LeanPool.NashWilliams.Combinatorics.Front.Defs
LeanPool.NashWilliams.Combinatorics.Front.NashWilliams
LeanPool.NashWilliams.Combinatorics.Front.Rank
LeanPool.NashWilliams.Combinatorics.Front.Ray
LeanPool.NashWilliams.Combinatorics.Front.Shrink
LeanPool.NashWilliams.Combinatorics.Ramsey.Infinite
LeanPool.NashWilliams.Data.Fintype.Pigeonhole
LeanPool.NashWilliams.Data.Nat.Nth
LeanPool.NashWilliams.Order.WellQuasiOrder.Basic
LeanPool.NashWilliams.Order.WellQuasiOrder.Regular
Imported by