Theorem Monotone.le_leftLim

Modification history