Theorem PadicInt.valuation_coe

Modification history