Theorem Matrix.charmatrix_apply_natDegree

Modification history