Commit 2024-04-02 00:30 333e2d79
View on Github →chore(Data): solve ERR_COP
style exceptions (#11825)
This PR solves ERR_COP
style exceptions by adding the copyright headers after having inspected the commit history of each file in Mathlib4 and in Mathlib3.