Proofgold Term Root Disambiguation

∀ x0 . not (empty_p x0) ⟶ 707e2.. (4326e.. x0) = x0

as obj
-

as prop
6c266..

theory
HoTg

stx
c37db..

address
TMEhG..