Mathlib v3 is deprecated. Go to Mathlib v4

Theorem forall_imp

Modification history

2022-03-28 23:54

src/logic/basic.lean

feat(data/set/basic): Laws for n-ary image (#13011) …

Modified forall_imp View on Github →

2020-07-15 09:51

src/logic/basic.lean

feat(logic/basic) forall_imp (#3391) …

Added forall_imp View on Github →