Search for blocks/addresses/...
Proofgold Proposition
∀ x0 : ο .
∀ x1 x2 :
(
(
ι → ο
)
→ ο
)
→ ο
.
x0
⟶
If_Vo3
x0
x1
x2
=
x1
type
prop
theory
HoTg
name
If_Vo3_1
proof
PUhdM..
Megalodon
-
proofgold address
TMdyB..
creator
2717
PrGxv..
/
fc8e1..
owner
2717
PrGxv..
/
fc8e1..
term root
9cf80..