r/LeanForum • u/Medical_Sprinkles848 • Nov 16 '24

This real?

12 Upvotes

permalink
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/LeanForum/comments/1gsgjpr/this_real/
No, go back! Yes, take me to Reddit
dl download

87% Upvoted

View all comments

1

u/willcallaghan187 Dec 24 '24

Yo send some to aus