Theorem ContinuousMapZero.le_def

Modification history

2024-04-18 14:41
Mathlib/Topology/ContinuousFunction/ContinuousMapZero.lean
feat: add monotonicity theorems pertaining to the continuous functional calculus (#12224)
Added ContinuousMapZero.le_defView on Github →