homalg-project / CategoricalTowers

Towers of category constructors
GNU General Public License v2.0
6 stars 4 forks source link

AddDerivationToCAP( ExponentialOnObjects, ... ) using PowerObject #427

Closed mohamed-barakat closed 11 months ago

mohamed-barakat commented 11 months ago

including

codecov[bot] commented 11 months ago

Codecov Report

Attention: 12 lines in your changes are missing coverage. Please review.

Files Coverage Δ
SubcategoriesForCAP/PackageInfo.g 100.00% <100.00%> (ø)
Toposes/PackageInfo.g 100.00% <100.00%> (ø)
Toposes/gap/ToposDerivedMethods.gi 93.97% <86.36%> (-0.95%) :arrow_down:

:loudspeaker: Thoughts on this report? Let us know!