Theorem WittVector.matrix_vecEmpty_coeff

Modification history