Skip to content

fin map alter lemmas

Rudy Petersonrequested to merge
rudynicolop/stdpp:map-alter-lemmas into master
  • map alter lemmas:
    • alter_notin
    • alter_empty
    • insert_alter
    • alter_insert_has
    • alter_fmap
    • alter_fmap_weak
    • alter_delete
    • alter_not_elem_of_dom

Includes lemmas from !598 (closed).

Edited by Rudy Peterson

Merge request reports