Skip to content

some list lemmas

Ralf Jungrequested to merge
ralf/list-find-fmap into master

Just needed these for a proof, seems general enough.

Edited by Ralf Jung

Merge request reports