Theorem Module.Finite.compactSpace

Modification history

2025-01-08 16:29
Mathlib/Topology/Algebra/Module/Compact.lean
feat(Topology/Algebra) finite modules over compact rings are compact (#20291)
Added Module.Finite.compactSpaceView on Github →