Theorem le_inf

Modification history