mathlib3
feat(measure_theory/measure): show that bounded continuous functions separate measures
#19189

Open

feat(measure_theory/measure): show that bounded continuous functions separate measures #19189

pfaffelh wants to merge 1 commit into master from weak_limit

pfaffelh

pfaffelh

added separating.lean

441c1afd

kim-em

kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers

No reviews

Assignees

No one assigned

Labels

too-late

Milestone

No milestone