theorem :: XXREAL_0:33

for a, b, c being ExtReal holds min ((min (a,b)),c) = min (a,(min (b,c)))