Proofgold Term Root Disambiguation

∀ x0 x1 . 099f3.. x0 x1 ⟶ fe4bb.. x0 x1

as obj
-

as prop
8dc73..

theory
HoTg

stx
38a69..

address
TMRvA..