theorem Lem310: :: LATTAD_1:49

for L being GAD_Lattice
for x, y, z being Element of L holds (x "/\" y) "/\" z = (y "/\" x) "/\" z