@@ -321,7 +321,7 @@ class (VerifiedRingWithUnity a, VerifiedAbelianGroup b, Module a b) => VerifiedM
321321 total moduleScalarMultDistributiveWRTModuleAddition : (s, t : a) -> (v : b) -> (s <+> t) <#> v = (s <#> v) <+> (t <#> v)
322322
323323||| A vector space is a module over a ring that is also a field
324−class (Field a, Module a b) => VectorSpace a b where
324+class (Field a, Module a b) => VectorSpace a b where {}
325325
326326class (VerifiedField a, VerifiedModule a b) => VerifiedVectorSpace a b where {}
327327