Free resolution (source code)

= Free resolution
{wiki}

A free resolution is a <projective resolution> in which every resolving module is a <free module>.