Apply suggestion from @Copilot

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: carloskiki

src/pairing.rs

@@ -167,6 +167,14 @@ impl MillerLoopResult {
         Gt(Fp12(out))
     }
 
+    /// Efficiently compare two `MillerLoopResult`s for equality.
+    ///
+    /// This method checks if two Miller loop results are equivalent in the
+    /// context of the pairing function, without performing the full final
+    /// exponentiation on both operands. It is faster than calling
+    /// [`final_exponentiation()`] on both and then comparing the results.
+    /// This is useful when you only need to check equivalence, not obtain
+    /// the final pairing value.
     pub fn final_verify(&self, other: &MillerLoopResult) -> bool {
         unsafe { blst::blst_fp12_finalverify(&self.0.0, &other.0.0) }
     }