Def ContinuousMap.uncurry

Modification history

2023-12-30 06:21

Mathlib/Topology/CompactOpen.lean

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

Modified ContinuousMap.uncurry View on Github →

2023-02-11 09:23

Mathlib/Topology/CompactOpen.lean

feat: port Topology.CompactOpen (#2123)

Added ContinuousMap.uncurry View on Github →