theorem :: XXREAL_1:209

[.-infty,+infty.] = ExtREAL