Theorem topologicalKrullDim_subspace_le

Modification history

2025-11-03 14:11

Mathlib/Topology/KrullDimension.lean

feat(Topology/KrullDimension): add subspace dimension inequality (#29728) …

Added topologicalKrullDim_subspace_le View on Github →