Proofgold Proposition

wceq cgzr (cmpt (λ x0 . cfv com cfmla) (λ x0 . co (cgol (cgox (cgol (co (cgol (cv x0) c1o) (co c2o c1o cgoq) cgoi) c2o) c1o) c3o) (cgol (cgol (co (co c2o c1o cgoe) (cgox (co (co c3o c0 cgoe) (cgol (cv x0) c1o) cgoa) c3o) cgob) c2o) c1o) cgoi))

type
prop

theory
SetMM

name
df_gzrep

proof
PUNz5..

Megalodon
-

proofgold address
TMaJ3..

creator
36386 PrCmT../fd7a2..

owner
36386 PrCmT../fd7a2..

term root
f6e85..