Kim Morrison 36d71f8253 feat: more List.find?/findSome?/findIdx? theorems (#5053)		2024-08-15 11:53:35 +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: complete API for List.replicate (#4487)	2024-06-18 08:30:09 +00:00
Lemmas.lean	feat: more List.find?/findSome?/findIdx? theorems (#5053)	2024-08-15 11:53:35 +00:00