Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . RealsStruct x0∀ x1 . x1field0 x0field1b x0 (field4 x0) x1 = x1
type
prop
theory
HotG
name
RealsStruct_zero_L
proof
PUSkV..
Megalodon
RealsStruct_zero_L
proofgold address
TMTKf..RealsStruct_zero_L
creator
5784 Pr6Pc../32e7b..
owner
5784 Pr6Pc../32e7b..
term root
94160..