Search for blocks/addresses/...
Proofgold Proposition
Inj1
=
setsum
1
type
prop
theory
HotG
name
Inj1_pair_1_eq
proof
PUMB7..
Megalodon
Inj1_pair_1_eq
proofgold address
TMNju..
Inj1_pair_1_eq
creator
4898
Pr6Pc..
/
9889e..
owner
4898
Pr6Pc..
/
9889e..
term root
0bbde..