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