Commit 2020-03-02 19:54 1d82a7c2

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 ∀.