Post #2939380

@WandererUber@poa.st @lain@lain.com and tbh there wasn't that much to verify, llms (as shown by their capability of being useful in the routine theorem proving kind of math) are not too bad at that kind analysis stuff when its clear and defined, which due to the particulars in this case is highly formulaic