Mathlib v3 is deprecated. Go to Mathlib v4

Theorem forall_eq_or_imp

Modification history

2020-09-28 15:25

src/logic/basic.lean

fix(data/list/basic): Ensure that ball_cons actually works as a simp lemma (#4281) …

Added forall_eq_or_imp View on Github →