Type Definition DimNameDiff
Other items innalgebra::base::dimension
type DimNameDiff<D1, D2> = <D1 as DimNameSub<D2>>::Output;