# Commit 2019-08-20 21:37 0dbe3a94

View on Github →feat(algebra,equiv,logic): add various lemmas (#1342)

- add various lemmas
- add simp lemma
- fix simp
- rename to subtype_sigma_equiv

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebra,equiv,logic): add various lemmas (#1342)

- add various lemmas
- add simp lemma
- fix simp
- rename to subtype_sigma_equiv