Theorem le_iff_compact_le_imp

Modification history