Theorem EqualCharZero.pnatCast_one

Modification history