Israel makes a lot of claims, but generally you'd have to be retarded to lose a Tor system.
Well they lost a pantsir by leting it in the middle of a military airport. They would have done the same with tor.
Iran has bought tor to russia if I'm not wrong. Some israeli and even syrian sources (like the one posting on twitter walid I think) said that iran lost some airdefence systems to israeli attacks. It's unlikely they were using them. Probably stocked in the facilities that have been attacked.