Remove Permutation Proper workaround that is not needed in Coq >= 8.15.

See merge request iris/stdpp!486

Fixed by https://github.com/coq/coq/issues/14571

Add fin notations

See merge request iris/stdpp!484

add filter_dom (from Perennial)

See merge request iris/stdpp!482

Remove FIXME in `fin_map_dom`.

See merge request iris/stdpp!483

Coq support policy: we support 2 Coq versions

See merge request iris/stdpp!480

Stop using revert dependent

See merge request iris/stdpp!481

See https://github.com/coq/coq/pull/17669. `revert dependent` is an
alias for `generalize dependent` and is going away soon.

Fix tests for coq#17648

See merge request iris/stdpp!479

Revert "Merge branch 'ralf/mangled' into 'master'"

See merge request iris/stdpp!477

This reverts commit 6a7d163c, reversing
changes made to 40e5274f.

enable name-mangling-light

See merge request iris/stdpp!475

Simplify definition of `mapset_dom_with`.

Closes #183

See merge request iris/stdpp!476

More canonical maps

See merge request iris/stdpp!461

(Eager unfolding caused problems in Simuliris.)

Make `union_Some` a ``, add  `union_None` and `union_is_Some`.

See merge request iris/stdpp!472