Skip to content

feat(CategoryTheory): naturality lemmas for Core construction#29284

Open
Jlh18 wants to merge 11 commits intoleanprover-community:masterfrom
Jlh18:Core2
Open

feat(CategoryTheory): naturality lemmas for Core construction#29284
Jlh18 wants to merge 11 commits intoleanprover-community:masterfrom
Jlh18:Core2

Commits

Commits on Sep 2, 2025

Commits on Sep 3, 2025

Commits on Sep 18, 2025

Commits on Oct 1, 2025

Commits on Oct 2, 2025

Commits on Oct 3, 2025