Convergent Filter Bases

Roland Coghetto. Convergent Filter Bases. Formalized Mathematics, 23(3):189-203, 2015. [doi]

Abstract

Abstract is missing.