chore(Data): refactor proofs where grind? fails#39808

chenson2018 wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

chenson2018:data-verify-grind-onlychenson2018/mathlib4:data-verify-grind-onlyCopy head branch name to clipboard