mathlib3

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

#1342

Merged