src/mapping.rs

branch
dev
changeset 53
08db78e3a654
parent 49
edb95d2b83cc
child 59
9226980e45a7
--- a/src/mapping.rs	Fri Dec 06 13:06:22 2024 -0500
+++ b/src/mapping.rs	Fri Dec 06 14:59:34 2024 -0500
@@ -85,7 +85,7 @@
 /// A differentiable mapping from `Domain` to [`Mapping::Codomain`], with differentials
 /// `Differential`.
 ///
-/// This is automatically implemented when the relevant [`Differentiate`] are implemented.
+/// This is automatically implemented when the relevant [`Differentiable`] are implemented.
 pub trait DifferentiableMapping<Domain>
 : Mapping<Domain>
   + Differentiable<Domain, Derivative=Self::DerivativeDomain>

mercurial