mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: target of final functor is connected iff source is connected

Open datokrat opened this issue 11 months ago • 3 comments

This PR is part of the effort to prove the Freyd-Mitchell embedding theorem.

Open in Gitpod

datokrat avatar Feb 25 '24 22:02 datokrat