Commit 2024-10-29 15:17 26c2a161

View on Github →

chore: remove Data/Int/Align (#18386) It is now empty; all #align statements have been removed from mathlib.

Estimated changes