https://fr.mathworks.com/help/sm/ref/simscape.multibody.zerorotation-class.html
simscape.multibody.ZeroRotation - Construct zero rotation - MATLAB
Use an object of the simscape.multibody.ZeroRotation class to construct a zero rotation.
construct zeromultibodyrotationmatlab
https://agda.github.io/agda-stdlib/v2.0/Algebra.Module.Construct.Zero.html
Algebra.Module.Construct.Zero
algebramoduleconstructzero