theorem Th18: :: XXREAL_0:18

for a, b, c, d being ExtReal st a <= b & c <= d holds
min (a,c) <= min (b,d)