Remove "work in progress" for Lean 4 manual - #111

Remove "work in progress" for Lean 4 manual#111

hmonroe wants to merge 1 commit into

leanprover:masterleanprover/leanprover.github.io:masterfrom

hmonroe:patch-1hmonroe/leanprover.github.io:patch-1Copy head branch name to clipboard