By the way the news was the opposite meaning you can't spend bitcoins mined inside Iran for anything other than import/export.
Wrong.
Here is the article reporting that any bitcoin mined abroad is not allowed to be used in Iran for any trading, and they are actually selling most of the coins mined in Iran to avoid restrictions related to sanctions.
Iran also banned usage of Bitcoin for payment , and they are seizing ''illicit'' Bitcoin mining machines all the time.
https://www.coindesk.com/iran-central-bank-ban-trading-crypto-mined-abroad