mathlib

3b43de12 - Added more missing results