u/Actual_Profile_519

Check the lean code in this repo and compile it :) the relationship is very trivial to proof

https://github.com/MidoriAppleCore/transformers-are-cauchy-poisson