Skip to content

chore(order/ConditionallyCompleteLattice): use to_dual more#41558

Open
JovanGerb wants to merge 1 commit into
leanprover-community:masterfrom
JovanGerb:Jovan-to_dual-ConditionallyCompleteLattice
Open

chore(order/ConditionallyCompleteLattice): use to_dual more#41558
JovanGerb wants to merge 1 commit into
leanprover-community:masterfrom
JovanGerb:Jovan-to_dual-ConditionallyCompleteLattice

chore(order/ConditionallyCompleteLattice): use `to_dual` more

078816d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 10, 2026 in 1m 20s