\contentsline {TargStat}{{Informal theorem}{1.1}{}}{2}{theorem.3}%
\contentsline {defi}{{Definition}{4.1}{}}{12}{theorem.40}%
\contentsline {prop}{{Proposition}{4.2}{}}{13}{theorem.41}%
\contentsline {thm}{{Theorem}{4.3}{}}{13}{theorem.42}%
\contentsline {prop}{{Proposition}{4.4}{}}{13}{theorem.44}%
\contentsline {thm}{{Theorem}{4.5}{}}{13}{theorem.45}%
\contentsline {prop}{{Proposition}{5.1}{}}{14}{theorem.48}%
\contentsline {cor}{{Corollary}{5.2}{}}{14}{theorem.49}%
\contentsline {prop}{{Proposition}{5.3}{}}{14}{theorem.51}%
\contentsline {prop}{{Proposition}{5.4}{}}{15}{theorem.56}%
\contentsline {defi}{{Definition}{6.1}{}}{15}{theorem.61}%
\contentsline {prop}{{Proposition}{6.2}{}}{15}{theorem.62}%
\contentsline {prop}{{Proposition}{6.3}{}}{15}{theorem.63}%
\contentsline {thm}{{Theorem}{6.4}{}}{16}{theorem.67}%
\contentsline {thm}{{Theorem}{6.5}{}}{17}{theorem.68}%
\contentsline {defi}{{Definition}{7.1}{}}{18}{theorem.74}%
\contentsline {thm}{{Theorem}{7.2}{}}{20}{theorem.77}%
\contentsline {thm}{{Theorem}{7.3}{}}{20}{theorem.79}%
\contentsline {defi}{{Definition}{8.1}{}}{22}{theorem.85}%
\contentsline {prop}{{Proposition}{8.2}{}}{23}{theorem.95}%
\contentsline {prop}{{Proposition}{8.3}{}}{24}{theorem.98}%
\contentsline {thm}{{Theorem}{8.4}{}}{24}{theorem.101}%
