mathlib

1d82a7c2 - doc(data/fin): add docs; fin_zero_elim -> fin.elim0; fin_zero_elim' -> fin_zero_elim (#2055)

doc(data/fin): add docs; fin_zero_elim -> fin.elim0; fin_zero_elim' -> fin_zero_elim (#2055) * doc(data/fin): add some docs Also drom `fin_zero_elim` in favor of `fin.elim0` from `stdlib` and rename `fin_zero_elim'` to `fin_zero_elim`. * Update src/data/fin.lean Co-Authored-By: Rob Lewis <Rob.y.lewis@gmail.com> * Update docs, fix `Π` vs `∀`. Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>