Theorem iInf_mono

Modification history