Theorem liminfₛ_eq_of_le_nhds

Modification history