Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq (csuc x0) (cun x0 (csn x0))

as obj
-

as prop
e0558..

theory
SetMM

stx
7c847..

address
TMZW1..