Proofgold Term Root Disambiguation

∀ x0 . TransSet (V_ x0)

as obj
-

as prop
16197..

theory
HF

stx
ac81c..

address
TMUdJ..