small polishing

folding-schemes/src/folding/nova/ova.rs

@@ -184,7 +184,7 @@ where
         u_i: &Self::CommittedInstance,
         _aux: &Self::VerifierAux,
     ) -> Self::CommittedInstance {
-        // recall that r <==> alpha, and u <==} mu between Nova and Ova respectively
+        // recall that r <==> alpha, and u <==> mu between Nova and Ova respectively
         let u = U_i.u + r; // u_i.u is always 1 IN ova as we just can do sequential IVC.
         let cmWE = U_i.cmWE + u_i.cmWE.mul(r);
         let x = U_i