Theorem PadicInt.isUnit_iff

Modification history