Theorem is_compact.measure_lt_top
Modification history
2021-12-16 09:07
src/measure_theory/measure/measure_space.lean
feat(measure_theory/measure): new class is_finite_measure_on_compacts (#10827) …
Modified is_compact.measure_lt_topView on Github →