-| | Number.Peano.Inf |
diff | Number.Peano.Inf |
inductive_infinity | Number.Peano.Inf |
infDiff | Number.Peano.Inf |
infinity | Number.Peano.Inf |
Nat | Number.Peano.Inf |
zeroDiff | Number.Peano.Inf |
-| | Number.Peano.Inf |
diff | Number.Peano.Inf |
inductive_infinity | Number.Peano.Inf |
infDiff | Number.Peano.Inf |
infinity | Number.Peano.Inf |
Nat | Number.Peano.Inf |
zeroDiff | Number.Peano.Inf |