レコードをメール: Independence of ℓ and traces on cohomology