search

homalg-project / FinSetsForCAP

The elementary topos of (skeletal) finite sets
https://homalg-project.github.io/FinSetsForCAP/
GNU General Public License v2.0
4 stars 7 forks source link

Add "overhead" argument to SkeletalCategoryOfFiniteSets #260

Closed zickgraf closed 3 months ago

codecov[bot] commented 3 months ago

Codecov Report

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

Project coverage is 100.00%. Comparing base (fbe577f) to head (b658d29). Report is 2 commits behind head on master.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #260 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 12 12 Lines 2101 2103 +2 ========================================= + Hits 2101 2103 +2 ```

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