docs: def IntegerMultiplication(left: vertex_constructor_param_types, right: vertex_constructor_param_types, label: Optional[str]=None) -> Vertex:
      """
      Multiplies one vertex by another
      
      :param left: a vertex to be multiplied
      :param right: a vertex to be multiplied
      """
      return Integer(context.jvm_view().IntegerMultiplicationVertex, label, cast_to_integer_vertex(left), cast_to_integer_vertex(right))