Search for blocks/addresses/...
Proofgold Proposition
mul_SNo
2
(
eps_
1
)
=
1
type
prop
theory
HotG
name
eps_1_half_eq2
proof
PUfRQ..
Megalodon
eps_1_half_eq2
proofgold address
TMX1L..
eps_1_half_eq2
creator
6761
Pr6Pc..
/
58f9c..
owner
6761
Pr6Pc..
/
58f9c..
term root
69f0c..