HDR10 is an instance of an HDR standard. All of them include higher gamut color except SL-HDR1, which is not itself an HDR standard but an encoding mechanism for embedding HDR in SDR.

So it appears all the "HDR" standards include higher gamut settings, making the simplification true enough for me to call it correct.