Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . In x1 (Union x0)∀ x2 : ο . (∀ x3 . In x1 x3In x3 x0x2)x2
type
prop
theory
HF
name
-
proof
PUh9N..
Megalodon
UnionE2
proofgold address
TMKFH..UnionE2
creator
1168 PrGxv../61c12..
owner
1168 PrGxv../61c12..
term root
99c68..