Theorem BoundedContinuousFunction.coe_posPart

Modification history

2024-03-20 10:53
Mathlib/Topology/ContinuousFunction/Bounded.lean
chore(Topology/ContinuousFunction/Bounded): Rename instances (#10780) …
Added BoundedContinuousFunction.coe_posPartView on Github →