Skip to content

Update Mathlib/Topology/Separation/CompletelyRegular.lean

6f4e35c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: a topology with a basis of clopens is completely regular #37317

Update Mathlib/Topology/Separation/CompletelyRegular.lean
6f4e35c
Select commit
Loading
Failed to load commit list.