Def ContinuousMap.isometryEquivBoundedOfCompact

Modification history

2023-05-25 08:46

Mathlib/Topology/ContinuousFunction/Compact.lean

feat: port Topology.ContinuousFunction.Compact (#4183)

Added ContinuousMap.isometryEquivBoundedOfCompact View on Github →