Change "won't" -> "will not"

chapters/functions.tex

@@ -1571,7 +1571,7 @@ \section{Declaring Inverses of Functions}\label{declaring-inverses-of-functions}
 \begin{nonnormative}
 There is no guarantee that a provided inverse will be used, and no rule for at which stage of symbolic processing it could be applied.
 Hence, providing an inverse function cannot be used as a means to select a particular solution to a nonlinear equation with multiple solutions (in other words, to select particular pre-image for a non-injective function).
-On the contrary, providing an inverse function can make a model ambiguous, as it won't be known if an equation is solved using a generic nonlinear equation solver (with solution being influenced by guess values), or solved using the provided inverse (possibly selecting a different solution).
+On the contrary, providing an inverse function can make a model ambiguous, as it will not be known if an equation is solved using a generic nonlinear equation solver (with solution being influenced by guess values), or solved using the provided inverse (possibly selecting a different solution).
 
 While it is possible to have several inverse functions that could be applied to solve the same equation, the real problem of ambiguity is not the number of applicable inverse functions, but that there is ambiguity as soon as there is one inverse function and multiple solutions.
 Since ambiguity is inherent when inverse functions are provided, a tool shall not give any diagnostic regarding ambiguity due to use of inverse functions, even when making a choice between several applicable ones.