--- a/src/norms.rs	Sat Dec 21 23:32:20 2024 -0500
+++ b/src/norms.rs	Sun Dec 22 14:54:46 2024 -0500
@@ -221,11 +221,16 @@
     type DualSpace : Normed<F>;
 }
 
+/// Automatically implemented trait for reflexive spaces
 pub trait Reflexive<F : Num = f64> : HasDual<F>
 where
     Self::DualSpace : HasDual<F, DualSpace = Self>
 { }
 
+impl<F : Num, X : HasDual<F>> Reflexive<F> for X
+where
+    X::DualSpace : HasDual<F, DualSpace = X>
+{ }
 
 pub trait HasDualExponent : NormExponent {
     type DualExp : NormExponent;