Theorem QuotientMap.sequentialSpace

Modification history

2024-10-23 02:43

Mathlib/Topology/Sequences.lean

chore: Rename `QuotientMap` to `IsQuotientMap` (#18062) …

Deleted QuotientMap.sequentialSpace View on Github →

2023-03-03 21:38

Mathlib/Topology/Sequences.lean

feat: port Topology.Sequences (#2604)

Added QuotientMap.sequentialSpace View on Github →