Proofgold Term Root Disambiguation

λ x0 : ι → ο . Eps_i (λ x1 . 1ce4f.. x1 = x0)

as obj
00f04..^down_1_0

as prop
-

theory
HF

stx
a8b20..

address
TMLQv..^down_1_0