Search for blocks/addresses/...

Proofgold Proof

pf
Apply complex_quaternion with Complex_i. The subproof is completed by applying complex_i. ■