improved AddDirectProductToExponentialRightAdjunctMorphismWithGivenExponential

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 100.00%. Comparing base (31c9b33) to head (346877e).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #252 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 12 12 Lines 2068 2068 ========================================= Hits 2068 2068 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[mohamed-barakat]

I need this for subsequent commits.