Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . RealsStruct x0RealsStruct_Npos x0RealsStruct_Z x0
type
prop
theory
HotG
name
RealsStruct_Npos_Z
proof
PUSVY..
Megalodon
RealsStruct_Npos_Z
proofgold address
TMQdy..RealsStruct_Npos_Z
creator
5804 Pr6Pc../25039..
owner
5804 Pr6Pc../25039..
term root
3b82b..