Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] square root


view this post on Zulip Email Gateway (Aug 17 2022 at 13:46):

From: kuecuek@rbg.informatik.tu-darmstadt.de
hallo

is there any proof or definition about the square roots?

i want to show

If p is an odd prime and a is a Quadratishe residue mod p (EX x. [x^² = a]
(mod p)) then a has exactly two square roots modulo p.

i have found some definition about the Quadres in Numbertheory/residues but
there isn't any lemma about square roots there.

thanks


Last updated: May 03 2024 at 08:18 UTC