Search for blocks/addresses/...

Proofgold Proof

pf
Apply orIR with 6915e.. = 32d20.., 6915e.. = 6915e...
Let x0 of type ιιο be given.
Assume H0: x0 6915e.. 6915e...
The subproof is completed by applying H0.