Search for blocks/addresses/...

Proofgold Proof

pf
Assume H0: 0 = Power 0.
Claim L1: In 0 (Power 0)
The subproof is completed by applying unknownprop_b42fcdfcba5f5cfadf0b53c2903d5ebf09061efcf7f8886daf41c895ab936981 with 0.
Claim L2: In 0 0
Apply H0 with λ x0 x1 . In 0 x1.
The subproof is completed by applying L1.
Apply unknownprop_1cc88f7e87aaf8c5cee24b4a69ff535a81e7855c45a9fd971eec05ee4cc28f9c with 0.
The subproof is completed by applying L2.
■