Skip to content

chore(ConditionallyCompleteLattice/Indexed): dualize#38938

Open
lua-vr wants to merge 3 commits into
leanprover-community:masterfrom
lua-vr:dualize-indexed
Open

chore(ConditionallyCompleteLattice/Indexed): dualize#38938
lua-vr wants to merge 3 commits into
leanprover-community:masterfrom
lua-vr:dualize-indexed

fixes

e19202a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded May 31, 2026 in 1m 18s