Theorem measure_theory.outer_measure.Inf_gen_nonempty2
Modification history
2020-12-12 01:48
src/measure_theory/outer_measure.lean
feat(outer_measure): define bounded_by (#5314) …
Deleted measure_theory.outer_measure.Inf_gen_nonempty2View on Github →