Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
If_i
(
RealsStruct_leq
x0
(
field4
x0
)
x1
)
x1
(
Field_minus
(
Field_of_RealsStruct
x0
)
x1
)
type
ι
→
ι
→
ι
theory
HotG
name
RealsStruct_abs
definition
PUVyd..
Megalodon
RealsStruct_abs
proofgold address
TMS4F..
RealsStruct_abs
creator
5857
Pr6Pc..
/
6bf35..
owner
5857
Pr6Pc..
/
6bf35..
term root
fcf33..