Proofgold Term Root Disambiguation

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

as obj
-

as prop
c627d..^ax_mp

theory
SetMM

stx
5ee1c..

address
TMPQi..^ax_mp