Open alexjbest opened 4 years ago
We should reimplement a version epsilon_frob that just uses epsilon of frobenius, and makes use of what we know about frob and not try to do anything fancy with the residue field for the general case.
We should reimplement a version epsilon_frob that just uses epsilon of frobenius, and makes use of what we know about frob and not try to do anything fancy with the residue field for the general case.