Proofgold Term Root Disambiguation

∀ x0 . wn (∀ x1 . wn (wceq (cv x1) (cv x0)))

as obj
-

as prop
467ed..

theory
SetMM

stx
35d97..

address
TMFKg..