Proofgold Object

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

type
ι → ι → ο

theory
HotG

name
SNoLe

definition
PUUwp..

Megalodon
SNoLe

proofgold address
TMcgc..^SNoLe

creator
4910 Pr6Pc../1b3f8..

owner
4910 Pr6Pc../1b3f8..

term root
ddf7d..