Theorem List.dropWhile_eq_self_iff
Modification history
2024-05-09 08:07
Mathlib/Data/List/DropRight.lean
chore: fix deprecation warnings (#12775) …
Modified List.dropWhile_eq_self_iffView on Github →2023-11-17 05:53
Mathlib/Data/List/DropRight.lean
chore: bump to v4.3.0-rc2 (#8366) …
Modified List.dropWhile_eq_self_iffView on Github →