Commit 2023-09-07 05:09 9aca15d7
View on Github →feat : Stacks: Lemma 0052 (3) irreducible component of noetherian space contains a nonempty open subset (#6881) any irreducible components of a noetherian space contains a nonempty open subset
feat : Stacks: Lemma 0052 (3) irreducible component of noetherian space contains a nonempty open subset (#6881) any irreducible components of a noetherian space contains a nonempty open subset