Proofgold Object

λ x0 . {x1 ∈ SNoS_ omega|SNoLt x1 x0}

type
ι → ι

theory
HotG

name
SNoL_omega

definition
PUVu4..

Megalodon
SNoL_omega

proofgold address
TMTDo..^SNoL_omega

creator
5368 Pr6Pc../99cc0..

owner
5368 Pr6Pc../99cc0..

term root
5f401..