Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (x0 = SNo_pair (CSNo_Re x0) x1))

type
ι → ι

theory
HotG

name
CSNo_Im

definition
PUgeJ..

Megalodon
CSNo_Im

proofgold address
TMFEq..^CSNo_Im

creator
4958 Pr6Pc../73739..

owner
4958 Pr6Pc../73739..

term root
5dad3..