Rename File: for_any_all.py

File Manager