Delete coindefinition.py