Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-04 03:30 7812afa3

View on Github →

feat(data/list/basic): drop_eq_nil_of_le (#6029)

Estimated changes

added theorem list.drop_eq_nil_of_le
modified theorem list.drop_nil