Adds a lemma in relative Weil cohomology

Adds the lemma (without proof) that classical Weil cohomologies have a relative
version