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 →
2019-10-03 17:37
src/logic/basic.lean
chore(*): fix errors in library and sanity_check (#1499) …
Added Exists.impView on Github →