fin_zero_elim
#2055

Merged

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

mergify merged 5 commits into master from fin-docs

doc(data/fin): add some docs

357c8e36

robertylewis changed the title ~~doc(data/fin): add some docs~~ doc(data/fin): add docs; fin_zero_elim -> fin.elim0; fin_zero_elim' -> fin_zero_elim 6 years ago

robertylewis commented on 2020-02-26

Update src/data/fin.lean

f32816a2

urkud added awaiting-author

Update docs, fix `Π` vs `∀`.

6e36c7ca

Merge branch 'fin-docs' of git://github.com/leanprover-community/math…

59538ce9

urkud removed awaiting-author

urkud added awaiting-review

robertylewis approved these changes on 2020-03-02

robertylewis removed awaiting-review

robertylewis added ready-to-merge

Merge branch 'master' into fin-docs

4722133b

mergify merged 1d82a7c2 into master 6 years ago

mergify deleted the fin-docs branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone

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

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

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

Merged