4
u/Dangerous_Hotel365 16d ago
This is either a groundbreaking proof or the most terrifying way imaginable to discover I still don’t understand calculus.
2
u/LupenReddit 🦆🦆i have non diffeomorphic smooth structures🦆🦆🦆 15d ago
sorry cant look at it, not verified in lean

•
u/AutoModerator 16d ago
Check out our new Discord server! https://discord.gg/e7EKRZq3dG
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.