Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0∀ x1 . x1SNoLev x0exactly1of2 (x1x0) (x1minus_SNo x0)
type
prop
theory
HotG
name
minus_SNo_exactly1of2
proof
PUVu4..
Megalodon
minus_SNo_exactly1of2
proofgold address
TMZRH..minus_SNo_exactly1of2
creator
5368 Pr6Pc../0a9b4..
owner
5368 Pr6Pc../0a9b4..
term root
8867f..