Commit 2025-11-18 12:49 f710fe17

View on Github →

feat: splitOn_nil to use BEq instead of DecidableEq (#31679) Generalizes this theorem with a quick change.

Estimated changes

modified theorem List.splitOn_nil