Theorem CharP.intCast_eq_intCast_mod

Modification history