Proofgold Term Root Disambiguation

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

as obj
-

as prop
2bae9..

theory
HoTg

stx
336f4..

address
TMRxb..^orE