Theorem List.rdrop_append_of_le_length

Modification history

2024-05-19 22:59
Mathlib/Data/List/DropRight.lean
List.rdrop lemmata (#12468) …
Added List.rdrop_append_of_le_lengthView on Github →