Proofgold Term Root Disambiguation

∀ x0 . Inj1 x0 = binunion (Sing 0) (Repl x0 Inj1)

as obj
-

as prop
d1941..^Inj1_eq

theory
HF

stx
a6670..

address
TMWBZ..^Inj1_eq