Proofgold Proposition

wceq cgch (cun cfn (cab (λ x0 . ∀ x1 . wn (wa (wbr (cv x0) (cv x1) csdm) (wbr (cv x1) (cpw (cv x0)) csdm)))))

type
prop

theory
SetMM

name
df_gch

proof
PUYnQ..

Megalodon
-

proofgold address
TMbmg..

creator
36397 PrCmT../f5290..

owner
36397 PrCmT../f5290..

term root
0e829..