Rename File: theorem.py

File Manager