Index of /~dejong/algebraic_geometry/Frobenius/double_powers