Skip to content

Update Kan extension diagrams#377

Open
ktgw0316 wants to merge 2 commits intohmemcpy:masterfrom
ktgw0316:Kan-diagram
Open

Update Kan extension diagrams#377
ktgw0316 wants to merge 2 commits intohmemcpy:masterfrom
ktgw0316:Kan-diagram

Commits

Commits on Sep 1, 2025