Theorem EqualCharZero.pnatCast_eq_natCast

Modification history