Theorem cfc_add_const

Modification history

2024-07-17 03:09
Mathlib/Topology/ContinuousFunction/FunctionalCalculus.lean
feat(ContinuousFunctionalCalculus): Define the real log based on the CFC (#14448) …
Added cfc_add_constView on Github →