Def measure_theory.measure.is_complete
Modification history
2021-02-05 12:11
src/measure_theory/measure_space.lean
refactor(*): remove uses of @[class] def (#6028) …
Deleted measure_theory.measure.is_completeView on Github →2020-12-30 20:43
src/measure_theory/measure_space.lean
feat(measure_theory): various additions (#5389) …
Modified measure_theory.measure.is_completeView on Github →