English
Applying the transposed input arrangement to a fractional operation yields a new multiset by reindexing each g via the swapped coordinates.
Русский
Применение транспонированной раскладки входов к фракционной операции порождает новый мультисет за счёт перестановки координат.
LaTeX
$$$\\omega.tt {\\iota} (x) = \\omega.map(\\lambda g,i. g (swap x i))$$$
Lean4
/-- Fractional operation applied to a transposed table of values. -/
def tt {ι : Type*} (ω : FractionalOperation D m) (x : Fin m → ι → D) : Multiset (ι → D) :=
ω.map (fun (g : (Fin m → D) → D) (i : ι) => g ((Function.swap x) i))