Apply suggestions from code review

Commit

3 years ago

Apply suggestions from code review Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

References

Author

eric-wieser

Parents

mathlib3 4d2ab805 - Apply suggestions from code review