Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-13 18:17 a1cfc5cc

View on Github →

feat(logic,data/equiv,prod): various lemmas (#1224)

feat(logic,data/equiv,prod): various lemmas
Update basic.lean
Update basic.lean

Estimated changes

Modified src/data/equiv/basic.lean

added def equiv.Pi_curry

Modified src/data/prod.lean

added theorem prod.map_fst'

added theorem prod.map_snd'

Modified src/logic/basic.lean

added theorem exists_imp_exists'

modified theorem exists_swap

modified theorem forall_swap