Rework the dfns section #716
Description
Add the missing pages (statements, global/local names...cf tradfns), tweak and maybe reorder remaining pages in this section (for example, rework the "Restrictions" so that it's accurate!).
{{ message }}
Add the missing pages (statements, global/local names...cf tradfns), tweak and maybe reorder remaining pages in this section (for example, rework the "Restrictions" so that it's accurate!).