Search for blocks/addresses/...

Proofgold Proposition

conj_HSNo Quaternion_k = minus_HSNo Quaternion_k
type
prop
theory
HotG
name
conj_HSNo_k
proof
PUgzA..
Megalodon
conj_HSNo_k
proofgold address
TMXQv..conj_HSNo_k
creator
28464 PrQUS../74d97..
owner
28464 PrQUS../74d97..
term root
dfb94..