Theorem List.length_dropWhile_le

Modification history

2025-07-22 01:30

Mathlib/Data/List/TakeWhile.lean

chore(List/TakeWhile): golf and move `dropWhile_eq_self_iff` (#27326) …

Added List.length_dropWhile_le View on Github →