fix: satisfy clippy

warlock-labs · Jul 13, 2024 · 1badb1d · 1badb1d
1 parent 4ef662b
commit 1badb1d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -886,7 +886,7 @@ pub trait Polynomial: Clone + PartialEq + ClosedAdd + ClosedMul + Euclid {
 ///   2. (a + b)x = ax + bx
 ///   3. (ab)x = a(bx)
 ///   4. 1x = x
-/// where a, b ∈ R and x, y ∈ M
+///   where a, b ∈ R and x, y ∈ M
 pub trait Module: MultiplicativeAbelianGroup {
     type Scalar: Ring;
 
@@ -910,7 +910,7 @@ pub trait Module: MultiplicativeAbelianGroup {
 ///   2. (a + b)v = av + bv
 ///   3. (ab)v = a(bv)
 ///   4. 1v = v
-/// where a, b ∈ F and u, v ∈ V
+///   where a, b ∈ F and u, v ∈ V
 pub trait VectorSpace: AdditiveAbelianGroup {
     type Scalar: Field;