Skip to content

chore(CategoryTheory): deprecate leftExactFunctor - #45418

Open
joelriou wants to merge 11 commits into
leanprover-community:masterfrom
joelriou:deprecate-left-exact-functor
Open

joelriou wants to merge 11 commits into
leanprover-community:masterfrom
joelriou:deprecate-left-exact-functor