Theorem PadicInt.valuation_mul

Modification history