Commit 2024-07-30 15:11 0bc17f88
View on Github →chore(TensorProduct/RightExactness): move three lemmas to Algebra/Exact (#15032) The location was suggested by #find_home. This addresses a porting TODO.
chore(TensorProduct/RightExactness): move three lemmas to Algebra/Exact (#15032) The location was suggested by #find_home. This addresses a porting TODO.