basic): drop_eq_nil_iff_le (#6336)

Commit

4 years ago

feat(data/list/basic): drop_eq_nil_iff_le (#6336) The iff version of a recently added lemma.

Author

pechersky

Parents