WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23644,8 +23644,8 @@ \section*{Appendix: Algorithmic Subtyping}
   then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{S_i}{U_i} for each $i$.
 \item
   \textbf{Super-Interface:}
-  $T_0$ is an interface type with super-interfaces \List{S}{0}{n}
-  and \SubtypeNE{S_i}{T_1} for some $i$.
+  If $T_0$ is an interface type with super-interfaces \List{S}{0}{n}
+  then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{S_i}{T_1} for some $i$.
 \item
   \textbf{Positional Function Types:}
   $T_0$ is