[dcl.spec.auto.general] Clarify redeclarations vs. placeholder types.

Author: jensmaurer

source/declarations.tex

@@ -1826,11 +1826,11 @@
 \end{example}
 
 \pnum
-If a function or function template has
+If a function or function template $F$ has
 a declared return type that uses a placeholder type,
-redeclarations or specializations (respectively) of it shall use that
-placeholder, not a deduced type;
-otherwise, they shall not use a placeholder.
+redeclarations or specializations of $F$ shall use that
+placeholder type, not a deduced type;
+otherwise, they shall not use a placeholder type.
 \begin{example}
 \begin{codeblock}
 auto f();