Theorem toAlign

Modification history

2024-07-19 10:17
test/Lint.lean
chore (test/Lint): remove `#align` test (#14901) …
Deleted toAlignView on Github →
2024-07-11 18:34
test/Lint.lean
feat: the one-line-align linter (#14322) …
Added toAlignView on Github →