Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . RealsStruct x0 ⟶ ∀ x1 . 4a41c.. (Field_of_RealsStruct x0) x1 0 = RealsStruct_one x0
type
prop
theory
HotG
name
-
proof
PUVyd..
Megalodon
-
proofgold address
TMTcU..
creator
5857 Pr6Pc../19cea..
owner
5857 Pr6Pc../19cea..
term root
f4d03..