Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 x2 .
nIn
x2
2
⟶
ap
(
setsum
x0
x1
)
x2
=
0
type
prop
theory
HotG
name
pair_ap_n2
proof
PUdQg..
Megalodon
pair_ap_n2
proofgold address
TMapL..
pair_ap_n2
creator
4899
Pr6Pc..
/
dfa64..
owner
4899
Pr6Pc..
/
dfa64..
term root
aa4c5..