Add derivation for *AdjunctionMapWithGivenTensorProduct
#1492
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Codecov / codecov/project
failed
Oct 17, 2023 in 1s
80.92% (-0.04%) compared to add7ebd
View this Pull Request on Codecov
80.92% (-0.04%) compared to add7ebd
Details
Codecov Report
Attention: 32 lines in your changes are missing coverage. Please review.
| Files | Coverage Δ | |
|---|---|---|
| CartesianCategories/PackageInfo.g | 100.00% <100.00%> (ø) |
|
| MonoidalCategories/PackageInfo.g | 100.00% <100.00%> (ø) |
|
| ...tricCocartesianCoclosedCategoriesDerivedMethods.gi | 79.17% <70.00%> (-0.21%) |
⬇️ |
| ...mmetricCoclosedMonoidalCategoriesDerivedMethods.gi | 82.21% <70.00%> (-0.28%) |
⬇️ |
| ...ymmetricCartesianClosedCategoriesDerivedMethods.gi | 78.64% <63.63%> (-0.37%) |
⬇️ |
| ...SymmetricClosedMonoidalCategoriesDerivedMethods.gi | 86.71% <63.63%> (-0.57%) |
⬇️ |
| ...recompiled_categories/MatrixCategoryPrecompiled.gi | 66.05% <25.00%> (-0.30%) |
⬇️ |
📢 Thoughts on this report? Let us know!.
Loading