Formalization of Quasilattices. - Dominik Kulesza; Adam Grabowski (Formaliz. Math., 2020)