Commit 2022-01-31 14:14 ada43f00
View on Github →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
.