some list lemmas

Merged Ralf Jung requested to merge ralf/list-find-fmap into master

Just needed these for a proof, seems general enough.

Edited by Ralf Jung

Merge request reports