Proofgold Proposition

wceq cnzr (crab (λ x0 . wne (cfv (cv x0) cur) (cfv (cv x0) c0g)) (λ x0 . crg))

type
prop

theory
SetMM

name
df_nzr

proof
PUN9o..

Megalodon
-

proofgold address
TMTmN..

creator
36376 PrCmT../c9ff8..

owner
36376 PrCmT../c9ff8..

term root
750ec..