add missing #align statements !4#1966

Stream: mathlib4

[Johan Commelin]

Here is the following installment. This time its a shorter PR, adding a bunch of missing #align statements for stuff in Core and Std. This isn't exhaustive, but hopefully still helpful.

[Patrick Massot]

It seems to have a lot of style issues.

[Johan Commelin]

Aaahrg! Can we make an exception for files that only contain #align statements?

[Patrick Massot]

(deleted)

[Patrick Massot]

The errors are missing copyright and module docstring. You can use always the same.

[Johan Commelin]

fixed