Theorem BoundedContinuousFunction.coeFn_abs

Modification history

2024-03-20 10:53
Mathlib/Topology/ContinuousFunction/Bounded.lean
chore(Topology/ContinuousFunction/Bounded): Rename instances (#10780) …
Deleted BoundedContinuousFunction.coeFn_absView on Github →
2023-05-21 21:51
Mathlib/Topology/ContinuousFunction/Bounded.lean
feat: port Topology.ContinuousFunction.Bounded (#4075)
Added BoundedContinuousFunction.coeFn_absView on Github →