borel_hierarchy.lean

Commit

3 years ago

Update src/measure_theory/borel_hierarchy.lean No need to mention previous history Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

sterraf

Parents