Search for blocks/addresses/...
Proofgold Proposition
mul_SNo
(
eps_
1
)
2
=
1
type
prop
theory
HotG
name
eps_1_half_eq3
proof
PUfRQ..
Megalodon
eps_1_half_eq3
proofgold address
TMS4q..
eps_1_half_eq3
creator
6761
Pr6Pc..
/
5eb0f..
owner
6761
Pr6Pc..
/
5eb0f..
term root
0d14d..