mathlib3

4623287f - Merge branch 'int_lemmas' into connective