Proofgold Proposition

wrex (λ x0 . wa (wbr (cv x0) (co c10 (cdc c2 c7) cexp) cle) (wral (λ x1 . wbr (cv x0) (cv x1) clt ⟶ wcel (cv x1) cgbo) (λ x1 . codd))) (λ x0 . cn)

type
prop

theory
SetMM

name
ax_tgoldbachgtOLD

proof
PUPG8..

Megalodon
-

proofgold address
TMXsW..

creator
36377 PrCmT../b66c7..

owner
36377 PrCmT../b66c7..

term root
8338c..