let N be complete Lawson meet-continuous TopLattice; :: thesis: for x being Element of N holds x "/\" is continuous
let x be Element of N; :: thesis: x "/\" is continuous
for X being non empty Subset of N holds x "/\" preserves_inf_of X by YELLOW13:11;
hence x "/\" is continuous by WAYBEL21:45; :: thesis: verum