search

leanprover-community / mathlib

Lean 3's obsolete mathematical components library: please use mathlib4
https://leanprover-community.github.io/lean3
Apache License 2.0
1.67k stars 297 forks source link

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

Open pfaffelh opened 1 year ago

pfaffelh commented 1 year ago

Open in Gitpod