mathlib3

1ec95547 - Merge branch 'imo2014q1' of https://github.com/leanprover-community/mathlib into imo2014q1