Def SeparationQuotient

Modification history

2024-02-22 12:56

Mathlib/Topology/Defs/Filter.lean

chore(Topology): move more definitions to `Defs` (#10623)

Modified SeparationQuotient View on Github →

2023-01-31 22:16

Mathlib/Topology/Inseparable.lean

feat: port Topology.Inseparable (#1908)

Added SeparationQuotient View on Github →