Theorem tendsto_const_nhds_iff

Modification history