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

fixed IsColiftable #227

Closed mohamed-barakat closed 1 year ago

mohamed-barakat commented 1 year ago

resolves https://github.com/homalg-project/FinSetsForCAP/issues/226

codecov[bot] commented 1 year ago

Codecov Report

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

Files Coverage Δ
PackageInfo.g 100.00% <100.00%> (ø)
gap/SkeletalFinSets.gi 100.00% <100.00%> (ø)
...fFiniteSetsWithMorphismsGivenByListsPrecompiled.gi 100.00% <100.00%> (ø)

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