style: fix spelling errors in Lean/ docstrings #11865
+33
−34
Open
Loading