Search for blocks/addresses/...
Proofgold Proof
pf
Apply nat_trans with
u22
,
u17
leaving 2 subgoals.
The subproof is completed by applying unknownprop_c873eeccdf6e645ee19271ea61e3647072d01ff54e75e19478129f6b14f6a5a5.
The subproof is completed by applying unknownprop_73689b0c9165815f69613261fb00fc9845786a5bb0f82650ada96717b3516f42.
■