Proofgold Object

λ x0 . ∃ x1 . and (SNo x1) (∃ x3 . and (SNo x3) (x0 = SNo_pair x1 x3))

type
ι → ο

theory
HotG

name
CSNo

definition
PUgeJ..

Megalodon
CSNo

proofgold address
TMLiz..^CSNo

creator
4958 Pr6Pc../1824e..

owner
4958 Pr6Pc../1824e..

term root
c3528..