Proofgold Term Root Disambiguation

∀ x0 . ZF_closed (prim6 x0)

as obj
-

as prop
0e736..^{UnivOf_ZF_closed}

theory
HotG

stx
cde1e..

address
TMUaR..^{UnivOf_ZF_closed}