Theorem inf_le_inf

Modification history