Proofgold Object

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

type
ι → ι

theory
HotG

name
SNoLev

definition
PUUwp..

Megalodon
SNoLev

proofgold address
TMUZT..^SNoLev

creator
4910 Pr6Pc../fa96e..

owner
4910 Pr6Pc../fa96e..

term root
293b7..