mathlib

f1f3470c - moved another lemma in some_lemmas to correct location with correct name