mathlib
7b9acd9e - chore(measure_theory/*): reflow long lines (#4642)

Commit

5 years ago

chore(measure_theory/*): reflow long lines (#4642) Also do some minor golfing.

References

#4925 - Make prime-avoidance branch build

Author

urkud

urkud

Parents

Loading