Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Exists₂.imp

Modification history

2022-03-28 23:54
src/logic/basic.lean
feat(data/set/basic): Laws for n-ary image (#13011) …
Modified Exists₂.impView on Github →
2022-02-16 19:16
src/logic/basic.lean
feat(logic/basic): Better congruence lemmas for `or`, `or_or_or_comm` (#12004) …
Added Exists₂.impView on Github →