Proofgold Term Root Disambiguation

∀ x0 : ι → ι . 05ecb.. x0 0 = 1

as obj
-

as prop
b6e18..^Pi_SNo_0

theory
HotG

stx
afc5a..

address
TMLTL..^Pi_SNo_0