mathlib3

89a8a0cc - Merge remote-tracking branch 'mathlib/master' into Vierkantor/polynomial-spectral-mapping