Commit 2024-05-04 21:55 73cc0344
View on Github →docs(RingTheory/Flat/Basic): remove completed TODO (#12612) The stability of flatness under base change is in mathlib (in RingTheory/Flat/Stability). So, we remove the part of the docs that says that it isn't.