Proofgold Term Root Disambiguation

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

as obj
-

as prop
40534..^{UnionEq_famunionId}

theory
HF

stx
dda19..

address
TMQu8..^{UnionEq_famunionId}