Post #2306010

@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.