Skip to content

fmap imap compose

Rudy Petersonrequested to merge
rudynicolop/stdpp:fmap-imap-compose into master
  • fmap and map_imap lemma:
    • map_fmap_imap_compose

lemma from !598 (closed)

Merge request reports