Proofgold Term Root Disambiguation

∀ x0 . prim3 x0 = famunion x0 (λ x2 . x2)

as obj
-

as prop
5b538..^{UnionEq_famunionId}

theory
HotG

stx
18c18..

address
TMJq1..^{UnionEq_famunionId}