# 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

Mathlib v3 is deprecated. Go to Mathlib v4

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

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