[Merged by Bors] - chore: classify new theorem / theorem porting notes#11432

pitmonticone wants to merge 6 commits intomasterleanprover-community/mathlib4:masterfrom

pitmonticone/added-theoremleanprover-community/mathlib4:pitmonticone/added-theoremCopy head branch name to clipboard