Rename File: trigsimp.py

File Manager