Search for blocks/addresses/...

Proofgold Proposition

OSNo_proj1 Octonion_i5 = minus_HSNo Quaternion_k
type
prop
theory
HotG
name
OSNo_p1_i5
proof
PUdK2..
Megalodon
OSNo_p1_i5
proofgold address
TMNeR..OSNo_p1_i5
creator
28513 PrQUS../72e84..
owner
28513 PrQUS../72e84..
term root
ef1af..