Theorem ZMod.isSquare_neg_one_of_eq_sq_add_sq_of_isCoprime

Modification history