Proofgold Object

λ x0 . not (finite x0)

type
ι → ο

theory
HotG

name
infinite

definition
PUL8Q..

Megalodon
infinite

proofgold address
TMUDi..^infinite

creator
4882 Pr6Pc../6fdb5..

owner
4882 Pr6Pc../6fdb5..

term root
313e7..