Merge requests · Iris / stdpp

Add `gmultiset_disj_union_list`

!580 · created Nov 10, 2024 by Marijn van Wezel
- Merged
- 16
updated Dec 05, 2024
Add lemma `lookup_total_fmap`.

!530 · created Oct 14, 2023 by Robbert Krebbers
- Merged
- 12
updated Jan 23, 2025
Add lemmas about `last` and `head`: `last_app_or`, `head_app_or`, and `head_app`.

!583 · created Jan 23, 2025 by Marijn van Wezel
- Merged
- 10
updated Jan 27, 2025
add 'notypeclasses apply' tactic

!581 · created Dec 13, 2024 by Ralf Jung
- Merged
- 11
updated Feb 04, 2025
Add some _1, _2 lemmas for map_filter

!394 · created Jul 26, 2022 by Michael Sammler
S-waiting-for-review
- Merged
- 18
updated Feb 07, 2025
notypeclasses apply: fix comment

!585 · created Feb 06, 2025 by Ralf Jung
- Merged
- 1
updated Feb 07, 2025
notypeclasses apply: do not unfold the type

!586 · created Feb 07, 2025 by Ralf Jung
- Merged
- 4
updated Feb 07, 2025
add some zip lemmas

!582 · created Jan 14, 2025 by Kimaya Bedarkar
S-waiting-for-review
- Merged
- 20
updated Feb 17, 2025
gen_tree: add comment explaining intended usage

!587 · created Feb 17, 2025 by Ralf Jung
- Merged
- 4
updated Feb 18, 2025
add lemmas about seq

!588 · created Feb 19, 2025 by Kimaya Bedarkar
- Merged
- 6
updated Feb 25, 2025
Add lemma `StronglySorted_app_iff`

!584 · created Jan 27, 2025 by Marijn van Wezel
- Merged
- 21
updated Feb 26, 2025