Theorem VertexOperator.of_coeff_apply_coeff

Modification history