mathlib

50073576 - added docstrings and shifted lemmas