Proofgold Term Root Disambiguation

∀ x0 . 96eca.. x0 0 = 0

as obj
-

as prop
aff59..

theory
HotG

stx
33c6f..

address
TMYct..