Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
Union_closed
x0
⟶
Repl_closed
x0
⟶
famunion_closed
x0
type
prop
theory
HotG
name
Union_Repl_famunion_closed
proof
PUNFE..
Megalodon
Union_Repl_famunion_closed
proofgold address
TMXcJ..
Union_Repl_famunion_closed
creator
9568
PrCx1..
/
f28dc..
owner
9568
PrCx1..
/
f28dc..
term root
35501..