Theorem charmatrix_apply_eq

Modification history