diff -r 3697375f4ee9 -r 1f301affeae3 src/euclidean.rs --- 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: VectorSpace + Reflexive { - /// 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;