PR #12900: feat(order/hom/lattice): Map lattice homs alon...

Stream: triage

[Random Issue Bot]

Today I chose PR 12900 for discussion!

feat(order/hom/lattice): Map lattice homs along with_top/with_bot
Created by @Yaël Dillies (@YaelDillies) on 2022-03-23
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?