Proofgold Term Root Disambiguation

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

as obj
-

as prop
8a1cd..^Repl_Empty

theory
HF

stx
8a441..

address
TMM8X..^Repl_Empty