mathlib
a06c87ed - chore(*): Tidy some proofs and variables (#4338)

Commit

6 years ago

chore(*): Tidy some proofs and variables (#4338)

References

#4925 - Make prime-avoidance branch build

Author

eric-wieser

eric-wieser

Parents

Loading