[Merged by Bors] - chore: classify broken proof was porting notes#11040

pitmonticone wants to merge 1 commit intomasterleanprover-community/mathlib4:masterfrom

pitmonticone/broken-proof-wasleanprover-community/mathlib4:pitmonticone/broken-proof-wasCopy head branch name to clipboard