Documentation

LeanPool.NashWilliams.Data.Nat

Strictly monotone enumerations of infinite sets of natural numbers.