Theorem limsSup_eq_of_le_nhds

Modification history