Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0octonionOSNo_proj1 x0quaternion
type
prop
theory
HotG
name
octonion_p1_quaternion
proof
PUcEg..
Megalodon
octonion_p1_quaternion
proofgold address
TMLtz..octonion_p1_quaternion
creator
28531 PrQUS../f8c9e..
owner
28531 PrQUS../f8c9e..
term root
de6ec..