Theorem PadicInt.unitCoeff_spec

Modification history