146
Proof. trivial. Qed.
(lemmy.world)
I'm learning to use Rocq, I felt very powerful.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 29 Oct 2025
146 points (100.0% liked)
Math Memes
2991 readers
1 users here now
Memes related to mathematics.
Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.
founded 2 years ago
MODERATORS
”The proof is trivial and is left as an exercise for the reader”
Submitting this as my paper on the Riemann Hypothesis