Theorem ZMod.isSquare_neg_one_of_eq_sq_add_sq_of_coprime

Modification history