`BookProof.ChapterRotaryPosition.bornWeightC_rotaryEncode_shift` (omega : Fin n → ℝ) (a c : ℝ) (pos : Fin m → ℝ) (q : EuclideanSpace ℂ (Fin n)) (k : Fin m → EuclideanSpace ℂ (Fin n

Initializing...

`BookProof.ChapterRotaryPosition.bornWeightC_rotaryEncode_shift` (omega : Fin n → ℝ) (a c : ℝ) (pos : Fin m → ℝ) (q : EuclideanSpace ℂ (Fin n)) (k : Fin m → EuclideanSpace ℂ (Fin n · Prove2Me