Index
| -| | Number.Peano.Inf |
| diff | Number.Peano.Inf |
| inductive_infinity | Number.Peano.Inf |
| infDiff | Number.Peano.Inf |
| infinity | Number.Peano.Inf |
| minimum' | Number.Peano.Inf |
| Nat | Number.Peano.Inf |
| zeroDiff | Number.Peano.Inf |
peano-inf-0.5: Lazy Peano numbers including observable infinity value.
Index
| -| | Number.Peano.Inf |
| diff | Number.Peano.Inf |
| inductive_infinity | Number.Peano.Inf |
| infDiff | Number.Peano.Inf |
| infinity | Number.Peano.Inf |
| minimum' | Number.Peano.Inf |
| Nat | Number.Peano.Inf |
| zeroDiff | Number.Peano.Inf |