Theorem PadicInt.unitCoeff_coe

Modification history