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.
chore: remove Data/Int/Align (#18386) It is now empty; all #align statements have been removed from mathlib.