-| | Number.Peano.Inf |
diff | Number.Peano.Inf |
inductive_infinity | Number.Peano.Inf |
infDiff | Number.Peano.Inf |
infinity | Number.Peano.Inf |
length | Number.Peano.Inf.Functions |
maximum | Number.Peano.Inf.Functions |
minimum | Number.Peano.Inf.Functions |
Nat | Number.Peano.Inf |
nodeRank | Number.Peano.Inf.Functions |
nodeRankMemo | Number.Peano.Inf.Functions |
nodeRankMemoIntegral | Number.Peano.Inf.Functions |
test | Number.Peano.Inf.Test |
zeroDiff | Number.Peano.Inf |