Theorem lt_iInf_iff

Modification history