Search for blocks/addresses/...
Proofgold Proposition
mul_HSNo
Complex_i
Complex_i
=
minus_HSNo
1
type
prop
theory
HotG
name
Quaternion_i_sqr
proof
PUgzA..
Megalodon
Quaternion_i_sqr
proofgold address
TMEny..
Quaternion_i_sqr
creator
28464
PrQUS..
/
4a0f9..
owner
28464
PrQUS..
/
4a0f9..
term root
ab7a7..