mathlib3

ad40b86f - Shifted a lemma and added docstring, file is slow