Proofgold Object

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

type
ι → ι

theory
HotG

name
SNoL_nonneg

definition
PUewm..

Megalodon
SNoL_nonneg

proofgold address
TMGLo..^SNoL_nonneg

creator
27779 PrQUS../a14e9..

owner
27779 PrQUS../a14e9..

term root
426e3..