Namespace IsIrreducible 1 theorems
- Dimension drop for a proper closed subset of an irreducible set
IsIrreducible.topologicalKrullDim_add_one_le_of_isClosed_of_ne0 below · cited by 11 · depth 26
IsIrreducible 1 theoremsIsIrreducible.topologicalKrullDim_add_one_le_of_isClosed_of_ne 0 below · cited by 11 · depth 26