use the right list of authors..

Apply 2 suggestion(s) to 1 file(s)

remove highlights

add some very basic f_equiv tests

See merge request iris/stdpp!409

[list] restricted version of list_fmap_equiv_ext

See merge request iris/stdpp!384

Generalize Propers for lists / Add some missing Params

See merge request iris/stdpp!407

Create stdpp-unstable package and add bitblast library

See merge request iris/stdpp!402

Some `filter` lemmas make use of `map_Forall`, so put `map_Forall` before `filter.

Introduce `set_bind` and associated lemmas + set_bind theory: revise setoid rewriting

See merge request iris/stdpp!406

- strengthen set_bind_subset to have the same arity
- add missing Params instance to prevent slow failures in setoid rewriting
- `Proper` instances can be proven before `set_bind_ext` via `set_solver`.
- `set_bind_ext` is then provable by set_solver directly.

Add map_seqZ

See merge request iris/stdpp!391

Add _1, _2 lemmas for not_elem_of_dom and lookup_union_None

See merge request iris/stdpp!405

Add lookup_union_l'

See merge request iris/stdpp!395