Remark 6.5.2. By assumption, \(- \otimes N\) is right t-exact, so \(N\) is t-flat if and only if it is additionally left t-exact.

Generated from the authoritative LaTeX source.