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.
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.