Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-12 15:14 995f4819

View on Github →

feat(logic/basic): a few lemmas (#9166)

Estimated changes

Modified src/logic/basic.lean

added theorem and_forall_ne

added theorem decidable.imp_iff_right_iff

modified theorem exists_imp_distrib

added theorem forall_exists_index

added theorem forall_imp_iff_exists_imp

added theorem imp_iff_right_iff

Modified src/logic/function/basic.lean