renamed local variable of RangeCategoryOfHomomorphismStructure: V -> H

homalg-project / CategoricalTowers

Towers of category constructors

GNU General Public License v2.0

6 stars 4 forks source link

Closed mohamed-barakat closed 1 year ago

codecov[bot] commented 1 year ago

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

Files	Coverage Δ
...completions/gap/FiniteStrictCoproductCompletion.gi	`97.64% <97.67%> (ø)`

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