Create mathlib.py