Commit 2023-11-28 14:52 547a8415
View on Github →refactor: use the new homology API for right derived functors (#8593) Injective resolutions and right derived functors are redefined using the new homology API.
refactor: use the new homology API for right derived functors (#8593) Injective resolutions and right derived functors are redefined using the new homology API.