Theorem HVertexOperator.smul_coeff

Modification history