mathlib
6e2980ce - chore(*): reflow some long lines (#4794)

Commit

5 years ago

chore(*): reflow some long lines (#4794)

References

#4925 - Make prime-avoidance branch build

Author

urkud

urkud

Parents

Loading