Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
∀ x2 :
ι → ι
.
explicit_Nats
x0
x1
x2
⟶
∀ x3 .
prim1
x3
x0
⟶
explicit_Nats_one_mult
x0
x1
x2
x1
x3
=
x3
type
prop
theory
HoTg
name
explicit_Nats_one_mult_1L
proof
PUVC9..
Megalodon
-
proofgold address
TMQQr..
creator
4672
PrGxv..
/
4ecc6..
owner
4672
PrGxv..
/
4ecc6..
term root
248ac..