Theorem charmatrix_apply_ne

Modification history