mathlib3
58581d0f - chore(*): normalize Authors: line (#6749)

Commit

4 years ago

chore(*): normalize Authors: line (#6749) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents