mathlib3

cfdf6403 - Merge branch 'int_lemmas' into connective