Proofgold Term Root Disambiguation

∀ x0 : ο . cprvb x0 ⟶ cprvb (cprvb x0)

as obj
-

as prop
0dc08..

theory
SetMM

stx
cb8e1..

address
TMZv2..