Add explicit preconditions to two final derivations

[codecov[bot]]

Codecov Report

Patch coverage: 75.00% and project coverage change: +0.04 :tada:

Comparison is base (37e1e40) 79.33% compared to head (c4007f5) 79.37%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #144 +/- ## ========================================== + Coverage 79.33% 79.37% +0.04% ========================================== Files 91 91 Lines 6068 6080 +12 ========================================== + Hits 4814 4826 +12 Misses 1254 1254 ``` | Flag | Coverage Δ | | |---|---|---| | BBGG | `100.00% <ø> (ø)` | | | Bicomplexes | `84.37% <ø> (ø)` | | | ComplexesCategories | `83.00% <ø> (ø)` | | | DerivedCategories | `73.46% <ø> (ø)` | | | HomotopyCategories | `80.93% <ø> (ø)` | | | QuotientCategories | `86.78% <ø> (ø)` | | | StableCategories | `100.00% <ø> (ø)` | | | ToolsForHigherHomologicalAlgebra | `73.94% <ø> (ø)` | | | TriangulatedCategories | `73.54% <75.00%> (+0.19%)` | :arrow_up: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project#carryforward-flags-in-the-pull-request-comment) to find out more. | [Impacted Files](https://codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/144?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | Coverage Δ | | |---|---|---| | [TriangulatedCategories/gap/DerivedMethods.gi](https://codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/144?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project#diff-VHJpYW5ndWxhdGVkQ2F0ZWdvcmllcy9nYXAvRGVyaXZlZE1ldGhvZHMuZ2k=) | `80.10% <73.68%> (+1.37%)` | :arrow_up: | | [TriangulatedCategories/PackageInfo.g](https://codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/144?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project#diff-VHJpYW5ndWxhdGVkQ2F0ZWdvcmllcy9QYWNrYWdlSW5mby5n) | `100.00% <100.00%> (ø)` | | Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.