Documentation
LeanPool
.
NashWilliams
.
Order
Search
return to top
source
Imports
Init
LeanPool.NashWilliams.Order.TwoBQO
LeanPool.NashWilliams.Order.WellQuasiOrder
Mathlib.Tactic.NormNum.Abs
Mathlib.Tactic.NormNum.DivMod
Mathlib.Tactic.NormNum.OfScientific
Mathlib.Tactic.NormNum.Pow
Mathlib.Data.Rat.Cast.Order
Imported by
Results about well- and better-quasi-orders.