Search for blocks/addresses/...

Proofgold Proof

pf
Apply quaternion_octonion with Quaternion_k. The subproof is completed by applying quaternion_k. ■