mathlib3

570efd53 - Merge branch 'master' into dupuisf/self_adjoint