Formalization of Trellises and Tolerance Relations. - Adam Grabowski; Franciszek Turowski (Formaliz. Math., 2024)