Theorem TopologicalSpace.IrreducibleCloseds.isIrreducible

Modification history

2025-10-15 10:28

Mathlib/Topology/Sets/Closeds.lean

chore: rename IrreducibleCloseds fields to match naming convention (#30550)

Modified TopologicalSpace.IrreducibleCloseds.isIrreducible View on Github →

2024-07-04 14:02

Mathlib/Topology/Sets/Closeds.lean

feat(Topology/KrullDimension.lean): Krull dimension of a topological space (#13178) …

Added TopologicalSpace.IrreducibleCloseds.isIrreducible View on Github →