AddPTransposeMorphismWithGivenPowerObject( Slice_over_B, ... )

[codecov[bot]]

Codecov Report

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

Files	Coverage Δ
CategoryConstructor/PackageInfo.g	100.00% <100.00%> (ø)
FiniteCocompletions/PackageInfo.g	100.00% <100.00%> (ø)
FunctorCategories/PackageInfo.g	100.00% <100.00%> (ø)
Locales/PackageInfo.g	100.00% <100.00%> (ø)
PreSheaves/PackageInfo.g	100.00% <100.00%> (ø)
SubcategoriesForCAP/PackageInfo.g	100.00% <100.00%> (ø)
SubcategoriesForCAP/gap/SliceCategory.gi	87.10% <100.00%> (+0.79%)	:arrow_up:
Toposes/PackageInfo.g	100.00% <100.00%> (ø)
Toposes/gap/Topos.autogen.gd	100.00% <100.00%> (ø)
Toposes/gap/Topos.gd	100.00% <100.00%> (ø)
... and 2 more

... and 2 files with indirect coverage changes

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