Proofgold Proposition

wceq cconn (crab (λ x0 . wceq (cin (cv x0) (cfv (cv x0) ccld)) (cpr c0 (cuni (cv x0)))) (λ x0 . ctop))

type
prop

theory
SetMM

name
df_conn

proof
PURda..

Megalodon
-

proofgold address
TMVBS..

creator
36257 PrCmT../765fe..

owner
36257 PrCmT../765fe..

term root
e1cdd..