Author: Urs Format: MarkdownItexor maybe now I did
<a href="https://ncatlab.org/nlab/revision/diff/rational+fiber+lemma/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/rational+fiber+lemma/2">v2</a>, <a href="https://ncatlab.org/nlab/show/rational+fiber+lemma">current</a>
Author: Urs Format: MarkdownItexHave made explicit that the theorem holds over any ground field $k$ of characteristic zero (which is the generality in which [FHT](https://ncatlab.org/nlab/show/rational+fiber+lemma#FelixHalperinThomas00) state and prove it).
<a href="https://ncatlab.org/nlab/revision/diff/rational+fiber+lemma/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/rational+fiber+lemma/5">v5</a>, <a href="https://ncatlab.org/nlab/show/rational+fiber+lemma">current</a>
Have made explicit that the theorem holds over any ground field of characteristic zero (which is the generality in which FHT state and prove it).