Theorem uCompactlyGeneratedSpace_of_continuous_maps

Modification history

2024-08-01 09:13

Mathlib/Topology/Category/CompactlyGenerated.lean

feat(Topology): add API for compactly generated spaces (#15203) …

Modified uCompactlyGeneratedSpace_of_continuous_maps View on Github →

2024-07-29 07:19

Mathlib/Topology/Category/CompactlyGenerated.lean

feat: Rename `CompactlyGeneratedSpace` to `UCompactlyGeneratedSpace` (#15201) …

Added uCompactlyGeneratedSpace_of_continuous_maps View on Github →