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
Left commutativity and cardinality of `list.filter`/`multiset.filter`/`finset.filter`. Interaction of `count`/`countp` and `attach`.
1 parent 3365b20
README.md
# Lean 3's mathlib
> [!WARNING]
> Lean 3 and Mathlib 3 are no longer actively maintained.
> It is strongly recommended that you use [mathlib4](https://github.com/leanprover-community/mathlib4) for Lean 4 instead.
(If you need to read the old `README.md`, please see `OLD_README.md`.)
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...