--- a/src/delta.rs Thu Dec 04 14:36:22 2025 -0500 +++ b/src/delta.rs Fri Jan 16 14:09:45 2026 -0500 @@ -76,7 +76,7 @@ where Domain: Space, G::Codomain: Mul<F, Output = G::Codomain>, - G: Mapping<Domain> + Clone + ClosedSpace, + G: Mapping<Domain> + ClosedSpace, for<'b> &'b Domain: Instance<Domain>, { type Codomain = G::Codomain; @@ -91,7 +91,7 @@ where Domain: Space, G::Codomain: Mul<F, Output = G::Codomain>, - G: Mapping<Domain> + Clone + ClosedSpace, + G: Mapping<Domain> + ClosedSpace, for<'b> &'b Domain: Instance<Domain>, { }