mathlib

ada43f00 - feat(order/hom/complete_lattice): Complete lattice homomorphisms (#11741)

feat(order/hom/complete_lattice): Complete lattice homomorphisms (#11741) Define frame homs and complete lattice homs using the `fun_like` along with weaker homomorphisms that only preserve `Sup`, `Inf`.