Proofgold Proposition

∀ x0 : ι → ο . w3a (wcel x0 ceven) (wbr c4 x0 clt) (wbr x0 (co c4 (co (cdc c1 cc0) (cdc c1 c8) cexp) cmul) cle) ⟶ wcel x0 cgbe

type
prop

theory
SetMM

name
ax_bgbltosilva

proof
PUPG8..

Megalodon
-

proofgold address
TMMUg..

creator
36377 PrCmT../8ba7f..

owner
36377 PrCmT../8ba7f..

term root
1b29d..