From 1badb1dd41a6ee31108ad4d3bb79d9e286a074b0 Mon Sep 17 00:00:00 2001
From: Alcibiades Athens <alcibiades.eth@protonmail.com>
Date: Sat, 13 Jul 2024 06:29:25 -0400
Subject: [PATCH] fix: satisfy clippy

---
 src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index 89964a5..7ce6e9e 100644
--- 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;