Simplify proof of `list_find_ext`.
Passed
Robbert Krebbers
created pipeline for commit
3eb9d489
, finished
For master
8 minutes 37 seconds, queued for 0 seconds