Proofgold Proposition

wceq cyon (cmpt (λ x0 . ccat) (λ x0 . co (cop (cv x0) (cfv (cv x0) coppc)) (cfv (cfv (cv x0) coppc) chof) ccurf))

type
prop

theory
SetMM

name
df_yon

proof
PUdJh..

Megalodon
-

proofgold address
TMdNa..

creator
36384 PrCmT../f5f76..

owner
36384 PrCmT../f5f76..

term root
e7f17..