mathlib3

b6bc2622 - Merge branch 'master' into strict-initial