Theorem Inducing.r0Space

Modification history

2024-10-29 14:36

Mathlib/Topology/Separation/Basic.lean

chore: Rename `Inducing` to `IsInducing` (#18330) …

Deleted Inducing.r0Space View on Github →

2024-03-20 02:43

Mathlib/Topology/Separation.lean

feat(Separation): define R0 spaces (#10621) …

Added Inducing.r0Space View on Github →