Proofgold Proposition

wceq cgz (crab (λ x0 . wa (wcel (cfv (cv x0) cre) cz) (wcel (cfv (cv x0) cim) cz)) (λ x0 . cc))

type
prop

theory
SetMM

name
df_gz

proof
PUfy1..

Megalodon
-

proofgold address
TMa2Q..

creator
36387 PrCmT../a775d..

owner
36387 PrCmT../a775d..

term root
f1ff8..