Commit 2024-04-27 06:15 33a5bedd

View on Github →

Chore: Weaken hypotheses for proof that Noetherian is an extension property (#12453) The middle term of a three term exact sequence with outer terms Noetherian is Noetherian.

Estimated changes