--- a/src/convex.rs Tue Dec 24 14:07:52 2024 -0500 +++ b/src/convex.rs Mon Dec 30 09:37:34 2024 -0500 @@ -181,7 +181,7 @@ impl<F, E, Domain> Mapping<Domain> for NormProjection<F, E> where - Domain : Space + Projection<F, E> + std::ops::MulAssign<F>, + Domain : Space + Projection<F, E>, F : Float, E : NormExponent, {