Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ι . Repl x0 x1 = famunion x0 (λ x3 . Sing (x1 x3))

as obj
-

as prop
1844d..^{ReplEq_famunion_Sing}

theory
HF

stx
dda19..

address
TMWXN..^{ReplEq_famunion_Sing}