Theorem PadicInt.intCast_eq

Modification history