Theorem cfc_tsub

Modification history

2024-10-29 00:06
Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Order.lean
feat: `cfc_tsub` for `ℝ≥0` functions (#18360)
Added cfc_tsubView on Github →