Theorem forall_eq_or_imp

Modification history

2022-09-08 18:38
Mathlib/Logic/Basic.lean
chore: bump std4 09-08 (#403) …
Deleted forall_eq_or_impView on Github →
2022-08-09 19:13
Mathlib/Logic/Basic.lean
port some lemmas for use in fin_cases (#350) …
Added forall_eq_or_impView on Github →