over principal ideal domains, flat modules are exactly torsion-free modules

https://w3id.org/np/RAdMFbkjDyxp6v53Ts4TFNjPj_6kaYiCjQdxcSyijVyp8 ⧉copy