Kim Morrison ec7ae59473 feat: List.count lemmas (#5285)		2024-09-09 07:04:57 +00:00
..
Basic.lean	feat: gaps/cleanup in List lemmas (#4835)	2024-07-26 05:00:50 +00:00
BasicAux.lean	chore: fix codebase and tests	2021-06-29 17:14:52 -07:00
Instances.lean	feat: remove @[simp] from Option.pmap/pbind and add simp lemmas (#5272)	2024-09-06 11:39:29 +00:00
Lemmas.lean	feat: List.count lemmas (#5285)	2024-09-09 07:04:57 +00:00