basic): strengthen `finset.nonempty.cons_induction` (#11452)

Commit

4 years ago

feat(data/finset/basic): strengthen `finset.nonempty.cons_induction` (#11452) This change makes it strong enough to be used in three other lemmas.

Author

eric-wieser

Parents