Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
x0
∈
omega
⟶
∀ x1 .
x1
∈
omega
⟶
mul_SNo
(
eps_
x0
)
(
eps_
x1
)
=
eps_
(
add_SNo
x0
x1
)
type
prop
theory
HotG
name
mul_SNo_eps_eps_add_SNo
proof
PUUxZ..
Megalodon
mul_SNo_eps_eps_add_SNo
proofgold address
TMHEx..
mul_SNo_eps_eps_add_SNo
creator
12264
PrGxv..
/
145ac..
owner
12264
PrGxv..
/
145ac..
term root
857b8..