Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0realSNoLt 0 x0recip_SNo_pos x0real
type
prop
theory
HotG
name
real_recip_SNo_pos
proof
PUfrJ..
Megalodon
real_recip_SNo_pos
proofgold address
TMMNV..real_recip_SNo_pos
creator
27869 PrQUS../4e033..
owner
27869 PrQUS../4e033..
term root
8169a..