Search for blocks/addresses/...
Proofgold Proposition
add_SNo
(
eps_
1
)
(
eps_
1
)
=
1
type
prop
theory
HotG
name
eps_1_half_eq1
proof
PUfRQ..
Megalodon
eps_1_half_eq1
proofgold address
TMWye..
eps_1_half_eq1
creator
6761
Pr6Pc..
/
f7ca2..
owner
6761
Pr6Pc..
/
f7ca2..
term root
356e7..