Kim Morrison 0f6a802314 feat: characterisations of List.Sublist (#4704)		2024-07-09 21:34:29 +00:00
..
Basic.lean	chore: cleanup unused arguments (from linter) (#4621)	2024-07-07 21:20:06 +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: characterisations of List.Sublist (#4704)	2024-07-09 21:34:29 +00:00