Add lemmas list_to_set_disj_elem_of_list and gmultiset_difference_disj_union_{l,r}

See merge request !369

Avoid universe bumps of `gset`/`mapset` (fixes #134)

Closes #134

See merge request !370

Workaround to avoid `injection` from unfolding equalities on `dom`

See merge request !367

Add set_unfold_list_bind (+ test)

See merge request iris/stdpp!366

`set_unfold_bind` for sets already exists; this brings the list variant on par.

std++ 1.7.0 release notes

See merge request iris/stdpp!364

Renamed `app_cons_eq_inv_{l,r}`, and added derived versions for `prefix/suffix`

See merge request !356

Add  `filter_reverse`, `head_filter_Some`, `last_filter_Some` lemmas

See merge request !353

Add lemmas `app_cons_eq_inv_{l,r}`.

See merge request !363

Add `last_cons_Some_ne` lemma for the `last` function

See merge request !361

Added some useful lemmas about [list_subseteq]

See merge request !359

Set the priority of the rewrite relation for sqsubseteq to not take precedence over...

See merge request !362

Add lemmas about empty `filter` on list, map, and set

See merge request !358

Set the priority of the rewrite relation for equiv to not take precedence over...

See merge request !360