On Weakly Associative Lattices and Near Lattices. - Sawicki, Damian; Grabowski, Adam (Formalized Mathematics, 2021)