Theorem Matrix.charmatrix_apply_natDegree_le

Modification history