Skip to content

feat(CategoryTheory): kan extensions from isos#41484

Open
FernandoChu wants to merge 2 commits into
leanprover-community:masterfrom
FernandoChu:LiftOfIso
Open

feat(CategoryTheory): kan extensions from isos#41484
FernandoChu wants to merge 2 commits into
leanprover-community:masterfrom
FernandoChu:LiftOfIso

iskan ofiso

aa1a23f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check_title
succeeded Jul 8, 2026 in 1m 21s