Proofgold Proposition

wceq chj (cmpt2 (λ x0 x1 . cpw chil) (λ x0 x1 . cpw chil) (λ x0 x1 . cfv (cfv (cun (cv x0) (cv x1)) cort) cort))

type
prop

theory
SetMM

name
df_chj

proof
PUL5f..

Megalodon
-

proofgold address
TMe1C..

creator
36387 PrCmT../57efa..

owner
36387 PrCmT../57efa..

term root
26668..