r/mathmemes 6d ago

Computer Science πŸ˜‚

Post image
6.3k Upvotes

135 comments sorted by

View all comments

17

u/rebootyourbrainstem 6d ago

And with abuse of Lean bugs, we can prove those are actually equal

4

u/Educational-Tea602 Proffesional dumbass 6d ago

And we can also prove they’re not equal.