Search for blocks/addresses/...

Proofgold Proposition

OSNo_proj0 Quaternion_k = Quaternion_k
type
prop
theory
HotG
name
OSNo_p0_k
proof
PUdK2..
Megalodon
OSNo_p0_k
proofgold address
TMdVK..OSNo_p0_k
creator
28513 PrQUS../4276e..
owner
28513 PrQUS../4276e..
term root
7d823..