Proofgold Object

λ x0 x1 . PNoLt (SNoLev x0) (λ x2 . x2 ∈ x0) (SNoLev x1) (λ x2 . x2 ∈ x1)

type
ι → ι → ο

theory
HotG

name
SNoLt

definition
PUUwp..

Megalodon
SNoLt

proofgold address
TMKc4..^SNoLt

creator
4910 Pr6Pc../171e3..

owner
4910 Pr6Pc../171e3..

term root
46e7e..