Theorem PadicInt.coe_int_eq

Modification history