mathlib3
0dbe3a94 - feat(algebra,equiv,logic): add various lemmas (#1342)

Commit

6 years ago

feat(algebra,equiv,logic): add various lemmas (#1342) * add various lemmas * add simp lemma * fix simp * rename to subtype_sigma_equiv

References

Author

fpvandoorn

Committer

mergify[bot]

Parents