Arguments: --mathlib. Designed and maintained with ❤ by Oleg Mazko