chore: grind panic test case#28

kim-em wants to merge 2 commits intoleanprover-community:nightly-testingleanprover-community/mathlib4-nightly-testing:nightly-testingfrom

kim-em:grind_panic_topcat_colimitkim-em/mathlib4:grind_panic_topcat_colimitCopy head branch name to clipboard