Yes every sauna I have ever been to in Europe (spas, various gyms) have electric heater with stones on top. Infra saunas are only for cheapest installs at home and usually dont generate enough heat.
Also, 80° celzius minimum for proper saunas, I have been to >100 celzius ones and its a struggle to remain for 15 mins inside.
Another point - I consider the after-part most crucial for health benefits to me - as-cold-as-possible long shower or even better a similar dip pool. Few days after that my cold resistance is significantly higher. Just the heating of body in sauna I can reach also ie with cardio workout or free weights, which brings tons of other benefits.
That "electric heater stones on top" is usually called stove, "kiuas" in Finnish :)
When needing to define type of stove, it's electric stove, wood heated stove. Latter has two types, which continuous wood burning is still common (this stove you can add burning wood during bathing) and older not so much any more used before bathing heated type stove which you cannot add wood while bathing. Oldest type is smoke-sauna, which doesn't have chimney at all. Wood is burnt in stove when heating, then when burnt enough sauna is ventilated first and then bathing starts.
But all these different heating elements are commonly stoves, just adding electric-, wood-, or smoke- stove is added context requiring.
Infra saunas then have those lamps of course, no stove there.
This is one of the primary reasons I use a sauna; the cardiovascular benefits. I hate doing cardio exercises at the gym or elsewhere.