Expand description
This module defines MuResolutionHomomorphism, which is a chain map from a
FreeChainComplex.
Structs§
- MuResolution
Homomorphism - A chain complex homomorphims from a
FreeChainComplex. This contains logic to lift chain maps using the freeness.