/FSF-2020/approximations-and-optimizations/Critical Points/
../
theorem.py