Commit 2024-09-12 10:52 776511a5
View on Github →feat(CategoryTheory/Filtered): finality and initiality of projections on (co)structured arrow cats (#16680)
feat(CategoryTheory/Filtered): finality and initiality of projections on (co)structured arrow cats (#16680)