Theorem charmatrix_apply_natDegree

Modification history