Theorem PadicInt.irreducible_p

Modification history