Theorem cfcₙHom_le_iff

Modification history

2024-04-18 14:41

Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean

feat: add monotonicity theorems pertaining to the continuous functional calculus (#12224)

Added cfcₙHom_le_iff View on Github →