First time here? Check out the FAQ!
asked 2022-09-18 21:03:42 +0100
In finite fields, we can use irreducible_element, is there any similar way for an integer ring?