I'm sorry that you can't take a joke. Personally, I found it funny that you're blessed with the requisite mathematical knowledge and perspective to be able to view the details as 'trivial minutiae'.
I did spend 5 minutes perusing the paper you linked, and couldn't make heads or tails of it. For myself and all other mere mortals unfamiliar with this mathematical machinery, I can assure you that details are far from trivial.
Well, it's a mathematical paper. I skimmed it, and although it's not my field (well, I wonder what my field is now that I work as machine learning engineer, but it used to be dynamical systems in Banach spaces) it seems pretty much readable given a mathematical background in research.
I can assure you, this is way more readable than many other papers. I can totally understand the "minutiae" comment there.
I did spend 5 minutes perusing the paper you linked, and couldn't make heads or tails of it. For myself and all other mere mortals unfamiliar with this mathematical machinery, I can assure you that details are far from trivial.
Thanks for taking your time to explain.