Proofgold Proposition

wceq ccda (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . cun (cxp (cv x0) (csn c0)) (cxp (cv x1) (csn c1o))))

type
prop

theory
SetMM

name
df_cda

proof
PUhHD..

Megalodon
-

proofgold address
TMTex..

creator
36397 PrCmT../4c992..

owner
36397 PrCmT../4c992..

term root
7073d..