Mathlib Changelog
v4
Changelog
About
Github
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_tsub
View on Github →