Proofgold Term Root Disambiguation

∀ x0 . ZF_closed x0 ⟶ ∀ x1 : ο . (Union_closed x0 ⟶ Power_closed x0 ⟶ Repl_closed x0 ⟶ x1) ⟶ x1

as obj
-

as prop
c78c7..^ZF_closed_E

theory
HotG

stx
18c18..

address
TMFJa..^ZF_closed_E