Theorem PadicInt.coe_nat_cast

Modification history