Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_bgbltosilvaOLD

proof
PUPG8..

Megalodon
-

proofgold address
TMcYH..

creator
36377 PrCmT../76636..

owner
36377 PrCmT../76636..

term root
5ce32..