Theorem inf_le_ite

Modification history