Theorem PadicInt.valuation_zero

Modification history