Proofgold Term Root Disambiguation

∀ x0 : ι → ι . prim5 0 x0 = 0

as obj
-

as prop
0835b..^Repl_Empty

theory
HotG

stx
18c18..

address
TMNTK..^Repl_Empty