Proofgold Term Root Disambiguation

eps_ 0 = 1

as obj
-

as prop
d073f..^eps_0_1

theory
HotG

stx
705e2..

address
TMR59..^eps_0_1