theorem :: XXREAL_2:14

for x, y being ExtReal holds min {x,y} = min (x,y)