eulerlagrange

ヽ(⌐■_■)ノ♪♬ @ @gauntlet/🤖Ventures/tldr/Aera \\ ¯\_(ツ)_/¯ Struggling with the nature of randomness \\ main: @gaa \\ /red-bull /defi-research maxi

@pinged where is the proof that Terrence Tao and Alan Knutson gave for the Schubert calculus in your all time favorites?

So beautiful, a very classical argument

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

I think I only know the proof in Fulton. Looking at the authors, I already know that I am too dim for this paper.