Theorem List.rdrop_add

Modification history

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