Directed sets, nets, ideals, filters, and maps (1996)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics