Skip to content
Snippets Groups Projects

Strengthen `map_disjoint_difference_{l,r}` and make them consistent with the lemmas for sets.

Merged Strengthen `map_disjoint_difference_{l,r}` and make them consistent with the lemmas for sets.
robbert/map_disjoint_difference into master
Merged Robbert Krebbers requested to merge robbert/map_disjoint_difference into master
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
2