Theorem LinearMap.rTensor_exact_iff_lTensor_exact

Modification history

2024-10-23 13:28
Mathlib/LinearAlgebra/TensorProduct/RightExactness.lean
feat(RingTheory/Flat/FaithfullyFlat): faithful flatness in terms of exactness (#17869) …
Added LinearMap.rTensor_exact_iff_lTensor_exactView on Github →