Formalization of Quasilattices. - Kulesza, Dominik; Grabowski, Adam (Formalized Mathematics, 2020)