fact: Definition fun_minus_site2 (f1 f2 : Site -> Site -> Data -> Z) (s1 : Site) := fun_minus_site Site Data (fun (s2 : Site) (a : Data) => f1 s1 s2 a) (fun (s2 : Site) (a : Data) => f2 s1 s2 a).
imports: List fifo table reduce