Double Sequences and Iterated Limits in Regular Space

Roland Coghetto. Double Sequences and Iterated Limits in Regular Space. Formalized Mathematics, 24(3):173-186, 2016. [doi]

Abstract

Abstract is missing.