Suggestions for clarity#114

turibe wants to merge 11 commits into

leanprover:masterleanprover/theorem_proving_in_lean4:masterfrom

turibe:clarity_fixes_suggestionsturibe/theorem_proving_in_lean4:clarity_fixes_suggestionsCopy head branch name to clipboard