Proofgold Term Root Disambiguation

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

as obj
-

as prop
8c6bb..^V_eq

theory
HF

stx
5e00d..

address
TMbSg..^V_eq