Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 x2 x3 .
combinator
x0
⟶
combinator
x1
⟶
combinator
x2
⟶
combinator
x3
⟶
combinator_equiv
x0
x2
⟶
combinator_equiv
x1
x3
⟶
combinator_equiv
(
Inj1
(
setsum
x0
x1
)
)
(
Inj1
(
setsum
x2
x3
)
)
type
prop
theory
HF
name
-
proof
PUJuQ..
Megalodon
combinator_equiv_Ap
proofgold address
TMRij..
combinator_equiv_Ap
creator
2336
PrGxv..
/
3af00..
owner
2336
PrGxv..
/
3af00..
term root
a6cec..