Proofgold Object

λ x0 . Sep (SNoL x0) (SNoLt 0)

type
ι → ι

theory
HotG

name
SNoL_pos

definition
PUewm..

Megalodon
SNoL_pos

proofgold address
TMRRM..^SNoL_pos

creator
27779 PrQUS../d1f34..

owner
27779 PrQUS../d1f34..

term root
399f0..