Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (∃ x2 . and (SNo x2) (x0 = SNo_pair x1 x2)))

type
ι → ι

theory
HotG

name
CSNo_Re

definition
PUgeJ..

Megalodon
CSNo_Re

proofgold address
TMcoC..^CSNo_Re

creator
4958 Pr6Pc../507e5..

owner
4958 Pr6Pc../507e5..

term root
9481c..