## IsarMathLib version 1.14.0: lattices

I released the next version of IsarMathLib. This release adds a short theory file about lattices with definitions, notation and a proof that join and and meet-semilattices form idempotent ($x\cdot x = x$) semigroups.