Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq x0 x0

as obj
-

as prop
81ffc..

theory
SetMM

stx
8596b..

address
TMJpi..