for L being GAD_Lattice holds
( L is join-commutative iff L is meet-commutative ) by Th31145;