Mathlib v3 is deprecated. Go to Mathlib v4

Theorem imp_iff_right

Modification history

2021-02-26 04:07
src/logic/basic.lean
fix(logic/{function}/basic): remove simp lemmas `function.injective.eq_iff` and `imp_iff_right` (#6402) …
Modified imp_iff_rightView on Github →
2017-09-03 20:55
logic/basic.lean
refactor(logic/basic): refactor logic theorems
Added imp_iff_rightView on Github →