Def Homeomorph.curry

Modification history

2023-12-30 06:21

Mathlib/Topology/CompactOpen.lean

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

Modified Homeomorph.curry View on Github →

2023-02-11 09:23

Mathlib/Topology/CompactOpen.lean

feat: port Topology.CompactOpen (#2123)

Added Homeomorph.curry View on Github →