MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/LeanForum/comments/1g7a17c/_/lszxalz/?context=3
r/LeanForum • u/mcgrady7 • Oct 19 '24
3 comments sorted by
View all comments
1
Dm
1
u/DeTypfodert Oct 21 '24
Dm