Revision - 65a1391 - feat(data/{list,multiset,finset}/*): `attach` and `filter` [...]

Revision 65a1391a0106c9204fe45bc73a039f056558cb83 authored by Yaël Dillies on 30 October 2023, 15:07:49 UTC, committed by Yaël Dillies on 30 October 2023, 15:07:49 UTC

feat(data/{list,multiset,finset}/*): `attach` and `filter` lemmas (#18087)

Left commutativity and cardinality of `list.filter`/`multiset.filter`/`finset.filter`. Interaction of `count`/`countp` and `attach`.

1 parent 3365b20

Files
Changes

Permalinks

File	Mode	Size
debian
gitpod
README.md	-rw-r--r--	2.1 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...

feat(data/{list,multiset,finset}/*): `attach` and `filter` lemmas (#18087)

README.md