Search for blocks/addresses/...
Proofgold Proposition
mul_HSNo
Quaternion_k
Quaternion_k
=
minus_HSNo
1
type
prop
theory
HotG
name
Quaternion_k_sqr
proof
PUgzA..
Megalodon
Quaternion_k_sqr
proofgold address
TMULr..
Quaternion_k_sqr
creator
28464
PrQUS..
/
6f6ef..
owner
28464
PrQUS..
/
6f6ef..
term root
0298e..