mathlib

7812afa3 - feat(data/list/basic): drop_eq_nil_of_le (#6029)