Post #2306009
2025-03-06 19:24 UTC
@dimpase@mathstodon.xyz @dpiponi@mathstodon.xyz I'd say it should be an exercise for the author :D
Replies (1)
-
@dpiponi@mathstodon.xyz 2025-03-06 19:31
@zanzi@mathstodon.xyz @dimpase@mathstodon.xyz It looks like it's mostly case analysis on some elementary looking inequalities. Just a lot of them. Perfect for a proof assistant for anyone who can be bothered.