`BookProof.ChapterF8.featureHash_decodes` {k K : ℕ} (g : Fin k → Fin K) (hg : Function.Injective g) (y : Fin k → ℝ) (j : Fin k) : fockEmbed g y (Finsupp.single (g j) 1) = (y j : ℂ)

Initializing...

`BookProof.ChapterF8.featureHash_decodes` {k K : ℕ} (g : Fin k → Fin K) (hg : Function.Injective g) (y : Fin k → ℝ) (j : Fin k) : fockEmbed g y (Finsupp.single (g j) 1) = (y j : ℂ) · Prove2Me