Theorem List.rdrop_append_length_add

Modification history

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