--- a/src/mapping.rs	Mon Dec 30 11:00:12 2024 -0500
+++ b/src/mapping.rs	Tue Dec 31 08:49:10 2024 -0500
@@ -8,10 +8,9 @@
 use crate::loc::Loc;
 pub use crate::instance::{Instance, Decomposition, BasicDecomposition, Space};
 use crate::norms::{Norm, NormExponent};
+use crate::operator_arithmetic::{Weighted, Constant};
 
-/// A mapping from `Domain` to `Codomain`.
-///
-/// This is automatically implemented when the relevant [`Apply`] are implemented.
+/// A mapping from `Domain` to `Self::Codomain`.
 pub trait Mapping<Domain : Space> {
     type Codomain : Space;
 
@@ -128,7 +127,7 @@
 }
 
 
-/// Container for the differential [`Mapping`] of a [`Differentiable`] mapping.
+/// Container for the differential [`Mapping`] of a [`DifferentiableMapping`].
 pub struct Differential<'a, X, G : Clone> {
     g : Cow<'a, G>,
     _space : PhantomData<X>