style documentation for where finally - #844

style documentation for where finally#844

mcdoll wants to merge 2 commits into

leanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

mcdoll:style_wherefinallymcdoll/leanprover-community.github.io:style_wherefinallyCopy head branch name to clipboard