Theorem charZero_of_inj_zero

Modification history