https://github.com/leanprover/mathlib
History
Tip revision: 65a1391a0106c9204fe45bc73a039f056558cb83 authored by Yaël Dillies on 30 October 2023, 15:07:49 UTC
feat(data/{list,multiset,finset}/*): `attach` and `filter` lemmas (#18087)
Tip revision: 65a1391
File Mode Size
README.md -rw-r--r-- 517 bytes
devcontainer.json -rw-r--r-- 696 bytes

README.md

back to top