Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (∀ x2 : ο . (∀ x3 . and (SNo x3) (x0 = SNo_pair x1 x3) ⟶ x2) ⟶ 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..