Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContinuousLinearMap.measurable_apply
Modification history
2023-05-21 17:05
Mathlib/MeasureTheory/Constructions/BorelSpace/ContinuousLinearMap.lean
feat: port MeasureTheory.Constructions.BorelSpace.ContinuousLinearMap (#4163)
Added
ContinuousLinearMap.measurable_apply
View on Github →