borel_hierarchy.lean

Commit

3 years ago

Update src/measure_theory/borel_hierarchy.lean Saving space as suggested Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

sterraf

Parents