Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0minus_SNo x0 = minus_CSNo x0
type
prop
theory
HotG
name
minus_SNo_minus_CSNo
proof
PUi5E..
Megalodon
minus_SNo_minus_CSNo
proofgold address
TMYnJ..minus_SNo_minus_CSNo
creator
4962 Pr6Pc../a1e64..
owner
4962 Pr6Pc../a1e64..
term root
95399..