LEAN-4150: EI25Q3-020 - Scrolling from the footnotes marker to the fo…#244
Open
nghazzawi-atypon wants to merge 4 commits intomasterfrom LEAN-4150
+67-2
Commits
Commits on Nov 26, 2024
Commits on Nov 27, 2024
![zax-assistant[bot]](https://avatars.githubusercontent.com/in/189150?v=4&size=32){kind=avatar}
Commits on Dec 11, 2024
- committed
- authored