Proofgold Term Root Disambiguation

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

as obj
-

as prop
5cb6b..

theory
SetMM

stx
d0f6d..

address
TMVS2..