Proofgold Object

λ x0 . ∀ x1 : ο . (∀ x2 . and (ordinal x2) (SNo_ x2 x0) ⟶ x1) ⟶ x1

type
ι → ο

theory
HotG

name
SNo

definition
PUUwp..

Megalodon
SNo

proofgold address
TMcKk..^SNo

creator
4910 Pr6Pc../b3daf..

owner
4910 Pr6Pc../b3daf..

term root
11faa..