mathlib
3171768a - Deliberately remove a copyright header to make the linter fail

Commit

4 years ago

Deliberately remove a copyright header to make the linter fail

Author

eric-wieser

eric-wieser

Parents

Loading