Skip to content

fix: mistake in statement of List.take_takeWhile#4875

Merged
kim-em merged 1 commit intoleanprover:masterfrom kmill:fix_list_take_takewhileJul 31, 2024
+4-4

Commits

Commits on Jul 30, 2024