Theorem Filter.limsup_eq_iInf_iSup

Modification history