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