Proofgold Proposition

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

type
prop

theory
HotG

name
ZF_closed_E

proof
PUL8Q..

Megalodon
ZF_closed_E

proofgold address
TMZST..^ZF_closed_E

creator
4882 Pr6Pc../29090..

owner
4882 Pr6Pc../29090..

term root
d795d..