是的，西安713路区间公交车停运了。

1. 6月12日起，西安市公交集团实施调整，包括713路区间公交车暂停运营，原因是为了让市区公交车更加充足，方便市民出行，因此该线路停运是一个政策性的决定。

2. 在停运之前，该线路的运行状态一直受到市民的广泛关注，一些市民甚至发起了相关的抗议活动，提出了诸多的建议和意见。

现在线路已经停运，市民需要寻找其他公交或出行方式，这也让人们不得不反思公共交通系统的改革和升级问题。