mathlib3

290f440a - feat(order/category/Semilattice): The categories of semilattices (#12890)

feat(order/category/Semilattice): The categories of semilattices (#12890) Define `SemilatticeSup` and `SemilatticeInf`, the categories of finitary supremum lattices and finitary infimum lattices.