Commit 2024-10-21 15:16 7004cd3f

View on Github →

feat: add missing instances for ContinuousMap and BoundedContinuousFunction (#17838)

Estimated changes

Modified Mathlib/Topology/ContinuousMap/Algebra.lean

Modified Mathlib/Topology/ContinuousMap/Bounded.lean