Search for blocks/addresses/...

Proofgold Proof

pf
Apply complex_I with 0, 1 leaving 2 subgoals. The subproof is completed by applying real_0. The subproof is completed by applying real_1. ■