mathlib

4a9a3c5e - still some doc strings missing