People arguing over technical details are missing the bigger picture.
For the first time in history, a 5th generation aircraft was down by air defense. Whether it was damaged, or destroyed, by missile or AA guns, it was downed.
This is a turning point in history, where 5th gens once thought invincible against air defense, have lost their invincible status.
Future f-35s operating over Iran will now have to be more careful, as new rules of engagement are written to make sure this doesn't happen again.