Theorem le_iInf_comp

Modification history