On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. - Grabowski, Adam; Sawicki, Damian (Formalized Mathematics, 2018)