[Merged by Bors] - doc(Analysis): fix typos#37340

harahu wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

harahu:chore/pycharm-typos-analysis-2harahu/mathlib4:chore/pycharm-typos-analysis-2Copy head branch name to clipboard