Skip to content

some list lemmas

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