Post #2306008
2025-03-04 03:29 UTC
@zanzi@mathstodon.xyz @dpiponi@mathstodon.xyz might be a good exercise to verify it in a proof assistant 🙂
Replies (1)
-
@zanzi@mathstodon.xyz 2025-03-06 19:24
@dimpase@mathstodon.xyz @dpiponi@mathstodon.xyz I'd say it should be an exercise for the author :D