Proofgold Object

λ x0 . Sep (SNoS_ (SNoLev x0)) (SNoLt x0)

type
ι → ι

theory
HotG

name
SNoR

definition
PUUwp..

Megalodon
SNoR

proofgold address
TMH8P..^SNoR

creator
4910 Pr6Pc../e86e0..

owner
4910 Pr6Pc../e86e0..

term root
73b2b..