mathlib

f8db5037 - Add instructions for use in other repos