mathlib3

6444a00f - additional corrections which were overlooked in the previous commit