Theorem HVertexOperator.add_coeff

Modification history