Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
Union_closed
x0
⟶
Power_closed
x0
⟶
Repl_closed
x0
⟶
ZF_closed
x0
type
prop
theory
HotG
name
ZF_closed_I
proof
PUL8Q..
Megalodon
ZF_closed_I
proofgold address
TMbg2..
ZF_closed_I
creator
4882
Pr6Pc..
/
da23e..
owner
4882
Pr6Pc..
/
da23e..
term root
f643b..