feat: document well-founded reduction behaviour#684

nomeata wants to merge 1 commit into

nightly-testingleanprover/reference-manual:nightly-testingfrom

joachim/issue680leanprover/reference-manual:joachim/issue680Copy head branch name to clipboard