Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∀ x0 .
Field
x0
⟶
∀ x1 .
x1
∈
field0
x0
⟶
∀ x2 .
x2
∈
field0
x0
⟶
field2b
x0
(
Field_minus
x0
x1
)
x2
=
Field_minus
x0
(
field2b
x0
x1
x2
)
as obj
-
as prop
09040..
Field_minus_mult_L
theory
HotG
stx
6b5ba..
address
TMF5F..
Field_minus_mult_L