@Article{BE01-JFM,
    Author       = "Bancerek, G. and Endou, N.",
    Year         = "2001",
    Title        = "{Compactness of Lim-inf Topology}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "9",
    Number       = "4",
    Pages        = "739-743",
    Comment      = "TPTPRef,WAYBEL33"
}