Coprimality and vanishing #
We show that for prime p
, the image of an integer a
in ZMod p
vanishes if and only if
a
and p
are not coprime.
Mathlib.Data.ZMod.Coprime
We show that for prime p
, the image of an integer a
in ZMod p
vanishes if and only if
a
and p
are not coprime.