Proofgold Proposition

wceq c2ndc (cab (λ x0 . wrex (λ x1 . wa (wbr (cv x1) com cdom) (wceq (cfv (cv x1) ctg) (cv x0))) (λ x1 . ctb)))

type
prop

theory
SetMM

name
df_2ndc

proof
PURda..

Megalodon
-

proofgold address
TMTde..

creator
36257 PrCmT../9b14a..

owner
36257 PrCmT../9b14a..

term root
a9032..