Theorem ContinuousMap.compactOpen_eq

Modification history

2023-12-30 06:21

Mathlib/Topology/CompactOpen.lean

chore(Topology/CompactOpen): rename type variables (#9328) …

Modified ContinuousMap.compactOpen_eq View on Github →

2023-07-04 14:43

Mathlib/Topology/CompactOpen.lean

feat: composition of `ContinuousMap`s is inducing (#5652) …

Added ContinuousMap.compactOpen_eq View on Github →