Theorem PadicInt.mul_inv

Modification history