Skip to content

chore(CategoryTheory/Limits/HasLimit): use to_dual - #41017

Open
JovanGerb wants to merge 9 commits into
leanprover-community:masterfrom
JovanGerb:Jovan-to_dual-HasLimit
Open

chore(CategoryTheory/Limits/HasLimit): use to_dual#41017
JovanGerb wants to merge 9 commits into
leanprover-community:masterfrom
JovanGerb:Jovan-to_dual-HasLimit

Commits

Commits on Jun 25, 2026

Commits on Jul 27, 2026

Commits on Jul 29, 2026

Commits on Jul 30, 2026