Introduction to meet-continuous topological lattices (1998)

by Artur Korni̷lowicz
Venue:Formalized Mathematics