Proofgold Object

λ x0 . {x1 ∈ SNoS_ (SNoLev x0)|SNoLt x1 x0}

type
ι → ι

theory
HotG

name
SNoL

definition
PUUwp..

Megalodon
SNoL

proofgold address
TMGV9..^SNoL

creator
4910 Pr6Pc../80370..

owner
4910 Pr6Pc../80370..

term root
8cd81..