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