theorem Th31143: :: LATTAD_1:53

for L being GAD_Lattice holds
( L is join-commutative iff L is ADL-absorbing )