Add DifferentiableRealMapping shorthand dev

Add Mapping codomain slicing and RealVectorField dev

Add Differential struct and DifferentiableMapping.diff dev

typofix dev

(0) -30 -10 -4 +4 +10 +30 tip

mercurial