theorem :: XXREAL_0:44

for a being ExtReal holds min (a,-infty) = -infty