--- a/src/euclidean.rs Thu Mar 19 18:21:40 2026 -0500 +++ b/src/euclidean.rs Wed Apr 22 23:41:59 2026 -0500 @@ -20,7 +20,7 @@ pub trait Euclidean<F: Float = f64>: VectorSpace<Field = F, PrincipalV = Self::PrincipalE> + Reflexive<F, DualSpace = Self::PrincipalE> { - /// Principal form of the space; always equal to [`Space::Principal`] and + /// Principal form of the space; always equal to [`crate::linops::Space::Principal`] and /// [`VectorSpace::PrincipalV`], but with more traits guaranteed. type PrincipalE: ClosedEuclidean<F>;