merge from default dev

Add DifferentiableRealMapping shorthand dev

Add Mapping codomain slicing and RealVectorField dev

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

mercurial