Proofgold Proposition

wceq cz (crab (λ x0 . w3o (wceq (cv x0) cc0) (wcel (cv x0) cn) (wcel (cneg (cv x0)) cn)) (λ x0 . cr))

type
prop

theory
SetMM

name
df_z

proof
PUSmC..

Megalodon
-

proofgold address
TMLaj..

creator
36397 PrCmT../696dc..

owner
36397 PrCmT../696dc..

term root
761cb..