theorem LatWal3: :: LATWAL_2:13

for W being WA-Lattice
for a, b, c being Element of W st c <= a & c <= b holds
c <= a "/\" b by YELLOW_0:23;