Theorem BoundedContinuousFunction.neg_norm_le_apply

Modification history

2023-09-27 23:08
Mathlib/Topology/ContinuousFunction/Bounded.lean
feat: Lemmas about integrals of bounded continuous functions. (#7222) …
Added BoundedContinuousFunction.neg_norm_le_applyView on Github →