and
nonabelian homological algebra
The flat resoltion lemma in homological algebra say that the Tor-derived functor, which a-priori is defined via projective resolutions, may also be computed via resolution by flat modules.
This appears for instance as lemma 3.2.8 in
and in lemma 19.17.9 and following in