Proofgold Term Root Disambiguation

∀ x0 . V_ x0 = famunion x0 (λ x2 . prim4 (V_ x2))

as obj
-

as prop
8bdae..

theory
HotG

stx
f4683..

address
TMUmM..