Theorem continuous.integrable_of_compact_closure_support
Modification history
2022-02-22 13:18
src/measure_theory/integral/integrable_on.lean
feat(topology/support): define topological support and compactly supported functions (#11923) …
Deleted continuous.integrable_of_compact_closure_supportView on Github →