Theorem HVertexOperator.coeff_smul

Modification history