Search for blocks/addresses/...

Proofgold Proof

pf
Let x0 of type ι be given.
Assume H0: equip 0 x0.
Apply unknownprop_6b7679dc4db802a54146c35c96ab8434ce7f76facbf7624371a3206bd73fb6ab with x0.
Apply equip_atleastp with x0, 0.
Apply equip_sym with 0, x0.
The subproof is completed by applying H0.