[Merged by Bors] - chore(CategoryTheory/Presentable/Basic): remove bad instance#41660

JovanGerb wants to merge 5 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JovanGerb:Jovan-HasCardinalFilteredColimits.hasColimitsOfShape-2JovanGerb/mathlib4:Jovan-HasCardinalFilteredColimits.hasColimitsOfShape-2Copy head branch name to clipboard