Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . RealsStruct x0RealsStruct_Npos x0field0 x0
type
prop
theory
HotG
name
RealsStruct_Npos_R
proof
PUSVY..
Megalodon
RealsStruct_Npos_R
proofgold address
TMFUv..RealsStruct_Npos_R
creator
5804 Pr6Pc../02016..
owner
5804 Pr6Pc../02016..
term root
008a7..