Proofgold Object

λ x0 . ∃ x1 . and (ordinal x1) (SNo_ x1 x0)

type
ι → ο

theory
HotG

name
SNo

definition
PUUwp..

Megalodon
SNo

proofgold address
TMcKk..^SNo

creator
4910 Pr6Pc../b3daf..

owner
4910 Pr6Pc../b3daf..

term root
11faa..