Proofgold Proposition

wceq csur (cab (λ x0 . wrex (λ x1 . wf (cv x1) (cpr c1o c2o) (cv x0)) (λ x1 . con0)))

type
prop

theory
SetMM

name
df_no

proof
PUcix..

Megalodon
-

proofgold address
TMLMP..

creator
36378 PrCmT../fb087..

owner
36378 PrCmT../fb087..

term root
2cfc8..