mathlib3
54adb196 - doc(algebra/to_additive): Add troubleshooting section (#8143)

Commit

4 years ago

doc(algebra/to_additive): Add troubleshooting section (#8143) Co-authored-by: Floris van Doorn <fpv@andrew.cmu.edu>

Author

fpvandoorn

Parents