[Merged by Bors] - fix(CategoryTheory/MorphismProperty/Limits): change duplicate lemma#39647

robin-carlier wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

robin-carlier:fix_name_hasPullbackAgainstTop_iffrobin-carlier/mathlib4:fix_name_hasPullbackAgainstTop_iffCopy head branch name to clipboard