Search the corpus

    Quadratic extensions of $\FF_p$ are unique up to isomorphism

    PR-F2N4L