Commit 2024-05-28 21:18 a5d48415
View on Github →feat: target of final functor is connected iff source is connected (#10975) This PR is part of the effort to prove the Freyd-Mitchell embedding theorem.
feat: target of final functor is connected iff source is connected (#10975) This PR is part of the effort to prove the Freyd-Mitchell embedding theorem.