Def MLList.getUpToFirst

Modification history

2025-03-04 03:24

Mathlib/Data/MLList/Split.lean

chore: remove >6 month old deprecations (#22473)

Deleted MLList.getUpToFirst View on Github →

2023-08-09 01:11

Mathlib/Data/MLList/Split.lean

chore: bump Std (adapt to migration of ListM) (#6413) …

Added MLList.getUpToFirst View on Github →