mathlib3

ae0b5da8 - Merge branch 'master' into adomani_compute_degree