Theorem krullTopology_isTotallySeparated

Modification history

2025-04-03 15:25
Mathlib/FieldTheory/KrullTopology.lean
chore(Topology): improve API and golf (#23633) …
Added krullTopology_isTotallySeparatedView on Github →