Def ContinuousMap.attachBound

Modification history

2023-09-14 13:42

Mathlib/Topology/ContinuousFunction/StoneWeierstrass.lean

style: fix wrapping of `where` (#7149)

Modified ContinuousMap.attachBound View on Github →

2023-06-05 20:15

Mathlib/Topology/ContinuousFunction/StoneWeierstrass.lean

feat: port Topology.ContinuousFunction.StoneWeierstrass (#4701)

Added ContinuousMap.attachBound View on Github →