Search for blocks/addresses/...

Proofgold Proposition

conj_HSNo Quaternion_j = minus_HSNo Quaternion_j
type
prop
theory
HotG
name
conj_HSNo_j
proof
PUgzA..
Megalodon
conj_HSNo_j
proofgold address
TMXe5..conj_HSNo_j
creator
28464 PrQUS../71ec9..
owner
28464 PrQUS../71ec9..
term root
6cfb4..